Hello Fellow Villagers! does any person have any practical experience in using a hot tub at their house although not included less than a Lanai? Seeking to determine if we have to commit $8-10k (ouch) on a Lanai extension or just set up the new tub on our BBQ patio https://pergola90427.thezenweb.com/5-simple-statements-about-izmir-awning-explained-72049352