Hi fellow Villagers! does any person have any practical experience in utilizing a hot tub at their house but not coated under a Lanai? Hoping to figure out if we have to devote $8-10k (ouch) with a Lanai extension or merely put in the recent tub on our BBQ patio https://izmirpergola88579.wikievia.com/10404764/izmir_awning_secrets