Hi Fellow Villagers! does anyone have any practical experience in using a very hot tub at their dwelling although not lined underneath a Lanai? Making an attempt to figure out if we must spend $eight-10k (ouch) on the Lanai extension or simply just install the new tub on our BBQ https://israelaawni.thezenweb.com/the-smart-trick-of-izmir-awning-that-no-one-is-discussing-72113742