. . . "Private hot tubs are an amenity typically offered by gated communities." .