Hi fellow Villagers! does any individual have any working experience in utilizing a very hot tub at their property although not included less than a Lanai? Seeking to determine if we must expend $eight-10k (ouch) on the Lanai extension or maybe put in the new tub on our BBQ patio https://elliotthxjta.thezenweb.com/detailed-notes-on-tarpaulin-72228543