Hello Fellow Villagers! does everyone have any working experience in employing a scorching tub at their residence but not covered under a Lanai? Striving to figure out if we must expend $8-10k (ouch) on the Lanai extension or simply install the recent tub on our BBQ patio space and see https://pergola10853.wikikarts.com/1370155/the_izmir_pergola_diaries