Hi Fellow Villagers! does anyone have any experience in utilizing a hot tub at their house although not coated less than a Lanai? Attempting to figure out if we need to commit $8-10k (ouch) with a Lanai extension or just install the recent tub on our BBQ patio spot and https://izmirtente74062.blogdun.com/34718999/rumored-buzz-on-tarpaulin