Hi fellow Villagers! does everyone have any expertise in using a incredibly hot tub at their household but not covered below a Lanai? Hoping to determine if we need to expend $8-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio location https://izmir-tente92367.ourabilitywiki.com/9871194/indicators_on_izmir_pergola_you_should_know