Hello Fellow Villagers! does anybody have any working experience in using a very hot tub at their property although not coated beneath a Lanai? Seeking to determine if we have to shell out $8-10k (ouch) on a Lanai extension or maybe set up the hot tub on our BBQ patio https://izmir-pergola07935.blogtov.com/14686951/izmir-pergola-an-overview