Hello fellow Villagers! does any one have any practical experience in utilizing a hot tub at their household but not lined less than a Lanai? Striving to determine if we must shell out $eight-10k (ouch) on the Lanai extension or perhaps put in the recent tub on our BBQ patio https://spencermtegp.bloguetechno.com/the-ultimate-guide-to-izmir-awning-69288047