Hi Fellow Villagers! does any person have any knowledge in using a warm tub at their home although not coated less than a Lanai? Seeking to figure out if we have to devote $eight-10k (ouch) on a Lanai extension or just install the hot tub on our BBQ patio spot https://simonitezt.wikicommunication.com/5273159/5_simple_statements_about_izmir_awning_explained