Hi fellow Villagers! does anybody have any working experience in employing a hot tub at their house but not lined less than a Lanai? Trying to determine if we need to shell out $8-10k (ouch) on a Lanai extension or simply put in the recent tub on our BBQ patio https://stephenjfwma.wikissl.com/1376543/5_simple_statements_about_izmir_tente_explained