Hello fellow Villagers! does any person have any knowledge in using a incredibly hot tub at their property although not covered under a Lanai? Striving to figure out if we must shell out $8-10k (ouch) with a Lanai extension or maybe set up the hot tub on our BBQ patio https://louiskevmc.illawiki.com/1391683/tarpaulin_secrets