Hello fellow Villagers! does anybody have any knowledge in utilizing a very hot tub at their household but not covered below a Lanai? Trying to determine if we have to invest $8-10k (ouch) with a Lanai extension or simply install the recent tub on our BBQ patio location and see https://louisdkjey.wikigop.com/1272169/rumored_buzz_on_tarpaulin