Hello fellow Villagers! does anybody have any practical experience in utilizing a warm tub at their household but not coated under a Lanai? Attempting to figure out if we need to invest $eight-10k (ouch) on a Lanai extension or merely set up the hot tub on our BBQ patio area https://landenabwun.wikibestproducts.com/1382097/pergola_options