Hi Fellow Villagers! does anyone have any practical experience in employing a warm tub at their house but not coated less than a Lanai? Attempting to determine if we need to shell out $8-10k (ouch) with a Lanai extension or perhaps install the hot tub on our BBQ patio space https://izmirawning58146.wikiusnews.com/1378645/izmir_pergola_an_overview