Hello Fellow Villagers! does anybody have any practical experience in employing a warm tub at their household but not covered under a Lanai? Hoping to determine if we have to shell out $eight-10k (ouch) over a Lanai extension or just set up the new tub on our BBQ patio region https://pergola87306.wikisona.com/1393029/fascination_about_izmir_pergola