Hi Fellow Villagers! does any individual have any working experience in utilizing a hot tub at their household but not included less than a Lanai? Hoping to figure out if we have to commit $eight-10k (ouch) on the Lanai extension or just install the new tub on our BBQ patio https://gunnerabzwq.ssnblog.com/33205425/a-review-of-pergola