Hello Fellow Villagers! does anyone have any knowledge in utilizing a very hot tub at their household but not coated under a Lanai? Making an attempt to figure out if we must spend $eight-10k (ouch) on the Lanai extension or perhaps set up the recent tub on our BBQ patio https://andresquyc.scrappingwiki.com/1376974/not_known_facts_about_izmir_pergola