Hello fellow Villagers! does any person have any expertise in utilizing a warm tub at their home although not included below a Lanai? Trying to figure out if we need to commit $8-10k (ouch) with a Lanai extension or simply just install the recent tub on our BBQ patio space https://cruzrzdgi.wikipowell.com/6145157/5_easy_facts_about_izmir_pergola_described