Hello Fellow Villagers! does anybody have any working experience in utilizing a warm tub at their home but not covered underneath a Lanai? Seeking to figure out if we need to devote $8-10k (ouch) on the Lanai extension or perhaps set up the hot tub on our BBQ patio place https://izmir-tente89268.wikikarts.com/1361932/fascination_about_pergola