Hi Fellow Villagers! does any person have any practical experience in employing a warm tub at their household although not protected underneath a Lanai? Hoping to determine if we need to invest $8-10k (ouch) with a Lanai extension or merely set up the hot tub on our BBQ patio area https://cesaridtky.elbloglibre.com/34003623/the-smart-trick-of-izmir-awning-that-no-one-is-discussing