Hi fellow Villagers! does anybody have any expertise in employing a incredibly hot tub at their house although not included under a Lanai? Hoping to figure out if we have to invest $8-10k (ouch) over a Lanai extension or simply set up the new tub on our BBQ patio place https://zandernxhow.blog4youth.com/34813028/the-izmir-pergola-diaries