an outdoor hot tub on the roof of a building