Hi Fellow Villagers! does everyone have any expertise in using a incredibly hot tub at their residence but not included under a Lanai? Striving to determine if we need to shell out $8-10k (ouch) with a Lanai extension or simply put in the recent tub on our BBQ patio location https://mariobsikf.wiki-promo.com/522001/how_tarpaulin_can_save_you_time_stress_and_money