Hello Fellow Villagers! does any one have any experience in utilizing a scorching tub at their house but not included under a Lanai? Trying to figure out if we have to expend $8-10k (ouch) over a Lanai extension or simply set up the hot tub on our BBQ patio area https://cesarpwdjj.jts-blog.com/33011869/pergola-options