Hello Fellow Villagers! does anybody have any knowledge in employing a warm tub at their property although not coated below a Lanai? Trying to figure out if we must invest $8-10k (ouch) over a Lanai extension or maybe install the hot tub on our BBQ patio place and see In https://izmir-pergola06925.wikihearsay.com/3318401/pergola_options