Hi fellow Villagers! does any one have any expertise in utilizing a hot tub at their house but not lined less than a Lanai? Attempting to figure out if we need to spend $8-10k (ouch) on the Lanai extension or maybe put in the hot tub on our BBQ patio https://pergola16936.nytechwiki.com/10427230/the_basic_principles_of_izmir_tente