Hi Fellow Villagers! does any individual have any practical experience in utilizing a incredibly hot tub at their house although not included beneath a Lanai? Hoping to figure out if we must expend $8-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ https://zionxlvgq.wikicarrier.com/507462/how_tarpaulin_can_save_you_time_stress_and_money