Hi fellow Villagers! does any person have any experience in employing a hot tub at their house although not included beneath a Lanai? Trying to determine if we have to commit $8-10k (ouch) with a Lanai extension or maybe put in the recent tub on our BBQ patio space and https://izmir-tente89876.wikikarts.com/1368156/how_tarpaulin_can_save_you_time_stress_and_money