DOES ANYONE KNOW THE APPROXIMATE COST TO RE-TILE AN IN-GROUND SPA (APPROX 5 FEET DIAMETER)?

My in-ground spa has a leak. The leak detection company told me it wasn't the plumbing but it needed to be re-grouted/tiled. They don't provide this service. Does anyone know a ballpark cost to have this done?