Welcome to our forum.
Sam, after looking around a bit, I don't know that 7K is much money for a "brand name" hot tub. I definitely agree that he should look around at a few before a decision is made. But, if Coast is a pretty good / middle of the road tub, the price is right and he has a good local dealer it might be a good deal for him. It also depends where you live. In my area, I don't think 7k would go very far.
Marquis, Bullfrog, Caldera, Jacuzzi, Sundance, etc... all have models available in the $7400 range. They are most likely their lower to mid tier tubs, but you can certainly get a good tub in that range.