Hello fellow Villagers! does everyone have any experience in employing a warm tub at their home although not lined beneath a Lanai? Hoping to figure out if we need to invest $8-10k (ouch) with a Lanai extension or merely put in the hot tub on our BBQ patio space and https://dantekkfyr.digitollblog.com/33887241/pergola-options