Hello Fellow Villagers! does anyone have any encounter in employing a hot tub at their house but not coated underneath a Lanai? Seeking to determine if we must spend $8-10k (ouch) over a Lanai extension or simply just put in the recent tub on our BBQ patio area and see https://finnkkfau.azuria-wiki.com/1372290/izmir_pergola_an_overview