7500 mile service isn't $1,500, that's the 15,000 miles service. And it is considered a "minor" service (just valves), while the 15,000 mile interval is for belts.
Still, you are looking around $800 for that 7,500 mile service. But at $15,500, I have have to jump on a plane and fly to SoCal!