Hi fellow Villagers! does any person have any working experience in using a very hot tub at their household although not coated under a Lanai? Trying to determine if we have to invest $8-10k (ouch) with a Lanai extension or simply put in the new tub on our BBQ patio https://izmirawning93426.vigilwiki.com/6791825/pergola_no_further_a_mystery