Hi fellow Villagers! does any person have any experience in utilizing a very hot tub at their home but not lined below a Lanai? Trying to figure out if we need to shell out $8-10k (ouch) on the Lanai extension or simply put in the recent tub on our BBQ https://izmir-pergola53692.wiki-racconti.com/8068089/5_simple_techniques_for_izmir_pergola