$7k with a fresh IMS sounds like a fair price if you are unable to do the work yourself.
The main lesson here applies to every car: Rapidly rising temp gauge, pull the car over and shut down the motor. Gauge pinned at 250F, motor is now dead and life just got more expensive.
