I am looking at the hot springs highlife grandee hot tub and was quoted a price of $15,995, just cover. Ace salt another $1,500. I thought it was on the high side. I live in NY and know things can be inflated, but thought it was high. Like what's the markup on hot tubs? We were also looking at the jacuzzi 400 series, but hot springs told us that the jacuzzi 400 series doesn't even compare to the grandee?? We will be doing a wet test, but any input would be appreciated.