Hi Fellow Villagers! does any person have any working experience in using a very hot tub at their household although not lined underneath a Lanai? Hoping to figure out if we need to devote $eight-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ https://izmirtente25702.mywikiparty.com/1377539/fascination_about_izmir_pergola