Hi Fellow Villagers! does any person have any experience in using a hot tub at their household but not lined under a Lanai? Seeking to figure out if we need to devote $eight-10k (ouch) with a Lanai extension or perhaps install the recent tub on our BBQ patio space and https://pergola42982.wikilinksnews.com/5959168/pergola_options