Hi Fellow Villagers! does any one have any practical experience in employing a hot tub at their house but not covered beneath a Lanai? Seeking to determine if we need to devote $8-10k (ouch) on a Lanai extension or merely put in the hot tub on our BBQ patio region https://izmirawning45424.blazingblog.com/34160988/the-smart-trick-of-izmir-awning-that-no-one-is-discussing