Hello fellow Villagers! does any individual have any knowledge in using a incredibly hot tub at their property but not coated less than a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) with a Lanai extension or merely put in the recent tub on our BBQ patio space and see In case the b