Hi Fellow Villagers! does any one have any working experience in utilizing a very hot tub at their household although not coated beneath a Lanai? Making an attempt to determine if we need to expend $8-10k (ouch) over a Lanai extension or merely install the new tub on our BBQ https://izmirawning71379.robhasawiki.com/11229436/detailed_notes_on_izmir_pergola