Hello fellow Villagers! does anybody have any expertise in utilizing a very hot tub at their home but not included beneath a Lanai? Making an attempt to determine if we need to shell out $8-10k (ouch) over a Lanai extension or maybe set up the recent tub on our BBQ https://tarpaulin41479.eqnextwiki.com/4837707/pergola_no_further_a_mystery