Hi fellow Villagers! does any person have any experience in employing a hot tub at their house but not protected under a Lanai? Hoping to determine if we need to devote $8-10k (ouch) with a Lanai extension or just install the hot tub on our BBQ patio location and see https://emilianocrdow.worldblogged.com/40248900/tarpaulin-options