Hi fellow Villagers! does any individual have any working experience in using a incredibly hot tub at their home although not covered less than a Lanai? Making an attempt to figure out if we need to commit $8-10k (ouch) on a Lanai extension or merely install the hot tub on https://izmirawning07361.wikikarts.com/1352472/the_fact_about_tarpaulin_that_no_one_is_suggesting