Hello Fellow Villagers! does any one have any expertise in utilizing a very hot tub at their household although not included under a Lanai? Striving to determine if we have to devote $8-10k (ouch) with a Lanai extension or simply just put in the new tub on our BBQ patio https://izmirawning84702.governor-wiki.com/1370014/pergola_options