Hi fellow Villagers! does any individual have any working experience in employing a warm tub at their dwelling although not covered under a Lanai? Striving to figure out if we need to invest $8-10k (ouch) with a Lanai extension or just install the new tub on our BBQ patio space https://raymondgtdnw.wikinstructions.com/1359105/5_essential_elements_for_tarpaulin