Hi Fellow Villagers! does anyone have any experience in utilizing a warm tub at their property but not coated less than a Lanai? Making an attempt to determine if we must commit $8-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ patio https://tarpaulin16035.thezenweb.com/the-ultimate-guide-to-izmir-awning-72117362