Hi fellow Villagers! does any person have any experience in employing a hot tub at their residence although not included less than a Lanai? Hoping to figure out if we need to spend $eight-10k (ouch) on the Lanai extension or simply just install the recent tub on our BBQ patio https://riverlmicu.bligblogging.com/34703978/considerations-to-know-about-izmir-awning