Hi fellow Villagers! does everyone have any practical experience in employing a incredibly hot tub at their residence although not included under a Lanai? Trying to figure out if we need to commit $8-10k (ouch) with a Lanai extension or simply just install the hot tub on our BBQ patio https://izmir-pergola12731.wikiinside.com/1810005/5_simple_statements_about_izmir_tente_explained