Hello fellow Villagers! does any individual have any working experience in employing a hot tub at their residence although not covered under a Lanai? Seeking to figure out if we need to devote $eight-10k (ouch) over a Lanai extension or simply put in the recent tub on our BBQ patio https://izmir-awning32840.mywikiparty.com/1369084/izmir_awning_secrets