Hi Fellow Villagers! does any person have any expertise in using a very hot tub at their house but not included underneath a Lanai? Making an attempt to determine if we must expend $8-10k (ouch) over a Lanai extension or merely put in the recent tub on our BBQ patio https://pergola18148.eedblog.com/34284962/the-smart-trick-of-izmir-awning-that-no-one-is-discussing