Hello fellow Villagers! does anybody have any experience in using a very hot tub at their home but not covered less than a Lanai? Striving to figure out if we must shell out $8-10k (ouch) on the Lanai extension or just put in the recent tub on our BBQ patio https://tarpaulin94691.wikiinside.com/1780757/detailed_notes_on_izmir_pergola