Hi Fellow Villagers! does any individual have any working experience in using a hot tub at their home although not lined less than a Lanai? Seeking to figure out if we need to spend $8-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ https://izmir-tente71059.mywikiparty.com/1369407/pergola_no_further_a_mystery