Hi Fellow Villagers! does any person have any experience in using a very hot tub at their dwelling although not included underneath a Lanai? Trying to figure out if we have to spend $8-10k (ouch) on a Lanai extension or just put in the new tub on our BBQ patio https://mylesrrqmf.wiki-cms.com/7449456/pergola_options