Hello Fellow Villagers! does anyone have any experience in employing a hot tub at their dwelling although not lined under a Lanai? Hoping to figure out if we have to shell out $8-10k (ouch) on the Lanai extension or simply set up the recent tub on our BBQ patio space https://izmirawning95059.ltfblog.com/33041496/pergola-options