Hi fellow Villagers! does any one have any expertise in utilizing a sizzling tub at their residence although not covered under a Lanai? Striving to determine if we need to devote $8-10k (ouch) on the Lanai extension or just install the hot tub on our BBQ patio location and see https://garrettrdnyi.wikinstructions.com/1374278/5_essential_elements_for_tarpaulin