Hi fellow Villagers! does everyone have any working experience in using a incredibly hot tub at their household but not lined below a Lanai? Striving to figure out if we must shell out $8-10k (ouch) with a Lanai extension or maybe install the hot tub on our BBQ patio region https://franciscocpbkt.tnpwiki.com/6719463/pergola_options