Hi Fellow Villagers! does any one have any expertise in utilizing a warm tub at their house although not covered under a Lanai? Striving to determine if we have to devote $8-10k (ouch) with a Lanai extension or maybe install the recent tub on our BBQ patio space and see https://damienynyjt.bloggazzo.com/33085221/rumored-buzz-on-tarpaulin