Hello fellow Villagers! does any person have any working experience in employing a incredibly hot tub at their dwelling although not covered under a Lanai? Trying to figure out if we must invest $8-10k (ouch) with a Lanai extension or perhaps set up the new tub on our BBQ patio https://izmir-tente40368.wikikarts.com/1367852/pergola_no_further_a_mystery