Hi Fellow Villagers! does any individual have any working experience in using a very hot tub at their residence but not protected below a Lanai? Seeking to figure out if we must expend $8-10k (ouch) on a Lanai extension or maybe set up the hot tub on our BBQ patio https://pergola84713.wikienlightenment.com/7616416/how_tarpaulin_can_save_you_time_stress_and_money