Hi Fellow Villagers! does anyone have any practical experience in utilizing a warm tub at their home but not coated beneath a Lanai? Hoping to determine if we have to invest $8-10k (ouch) over a Lanai extension or perhaps set up the hot tub on our BBQ patio space and https://izmir-tente13445.wikiannouncement.com/8179863/a_review_of_pergola