Hello Fellow Villagers! does everyone have any practical experience in employing a hot tub at their house although not lined beneath a Lanai? Making an attempt to figure out if we have to spend $eight-10k (ouch) on a Lanai extension or maybe put in the recent tub on our BBQ https://beauqgsdn.wikiinside.com/1808023/5_simple_statements_about_izmir_awning_explained