We are thinking of putting a hot tub under our back porch. We have a 3 year old and 7 year old that would enjoy it as much as we would. We look at the Hot Springs brand over the weekend in Tyler and they are anywhere from $7,000 to $12,000. Anybody have one and can give me some info?