Hi fellow Villagers! does anyone have any practical experience in employing a very hot tub at their household but not coated under a Lanai? Seeking to figure out if we need to expend $8-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ https://izmir-awning52580.vblogetin.com/39698133/indicators-on-izmir-pergola-you-should-know