Hi fellow Villagers! does any person have any working experience in using a hot tub at their home but not covered less than a Lanai? Striving to determine if we must shell out $8-10k (ouch) on a Lanai extension or just set up the new tub on our BBQ patio https://franciscobfooa.governor-wiki.com/1378062/tarpaulin_options