Hi fellow Villagers! does any one have any knowledge in using a warm tub at their house but not coated below a Lanai? Hoping to figure out if we have to commit $8-10k (ouch) on a Lanai extension or maybe install the hot tub on our BBQ patio area and https://izmir-tente70368.blazingblog.com/34003811/izmir-pergola-an-overview