Hello fellow Villagers! does anybody have any encounter in using a very hot tub at their household but not lined beneath a Lanai? Hoping to figure out if we must commit $8-10k (ouch) over a Lanai extension or merely install the recent tub on our BBQ patio space and see https://izmir-tente66531.wikinarration.com/6726691/the_best_side_of_tarpaulin