Hello Fellow Villagers! does anyone have any experience in utilizing a very hot tub at their household but not lined beneath a Lanai? Hoping to figure out if we need to spend $eight-10k (ouch) on the Lanai extension or simply put in the new tub on our BBQ patio region https://brookseotws.wikirecognition.com/1384666/5_essential_elements_for_pergola