Hello fellow Villagers! does anybody have any working experience in utilizing a warm tub at their dwelling but not included beneath a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) with a Lanai extension or simply set up the new tub on our BBQ patio space https://elliotttxfkn.thenerdsblog.com/39966456/detailed-notes-on-izmir-pergola