Would anyone like to guess how much water is required to fill the rooftop pool and adjoining hot tub?