Hi Fellow Villagers! does anybody have any knowledge in employing a incredibly hot tub at their home but not coated underneath a Lanai? Attempting to figure out if we need to devote $8-10k (ouch) on a Lanai extension or maybe set up the recent tub on our BBQ patio location https://israelbzxvg.bleepblogs.com/34476131/indicators-on-izmir-pergola-you-should-know