Hi Fellow Villagers! does anybody have any knowledge in using a warm tub at their house but not coated below a Lanai? Striving to figure out if we must spend $8-10k (ouch) with a Lanai extension or just set up the new tub on our BBQ patio location and see https://tarpaulin07407.signalwiki.com/1378003/izmir_pergola_an_overview