Hi fellow Villagers! does any individual have any practical experience in employing a warm tub at their home although not coated underneath a Lanai? Striving to figure out if we have to expend $8-10k (ouch) with a Lanai extension or just set up the new tub on our BBQ patio https://cesarrpkds.national-wiki.com/1353996/5_essential_elements_for_pergola