Hi Fellow Villagers! does anyone have any working experience in utilizing a warm tub at their house but not lined under a Lanai? Hoping to figure out if we need to shell out $8-10k (ouch) with a Lanai extension or merely set up the new tub on our BBQ patio https://deanvwrlf.pages10.com/fascination-about-pergola-69445772