Hi fellow Villagers! does everyone have any expertise in using a incredibly hot tub at their home although not lined beneath a Lanai? Striving to determine if we must spend $8-10k (ouch) on a Lanai extension or merely put in the recent tub on our BBQ patio space and see https://izmirtente12097.wikinstructions.com/1361743/the_fact_about_tarpaulin_that_no_one_is_suggesting