Hello fellow Villagers! does anyone have any working experience in using a very hot tub at their home but not included less than a Lanai? Hoping to determine if we have to commit $8-10k (ouch) on a Lanai extension or perhaps set up the new tub on our BBQ patio https://izmir-pergola21291.wikistatement.com/4699172/5_simple_statements_about_izmir_tente_explained