Hi fellow Villagers! does any individual have any knowledge in using a incredibly hot tub at their household but not coated below a Lanai? Striving to figure out if we must invest $eight-10k (ouch) with a Lanai extension or perhaps set up the new tub on our BBQ patio area https://izmirtente07042.wikilima.com/1259459/detailed_notes_on_izmir_pergola