Hello fellow Villagers! does any person have any practical experience in utilizing a very hot tub at their residence although not included less than a Lanai? Hoping to determine if we must commit $8-10k (ouch) over a Lanai extension or simply put in the hot tub on our BBQ patio https://tarpaulin46848.livebloggs.com/40561769/izmir-pergola-can-be-fun-for-anyone