GOOD Move!
$5,000.00 well spent!
There could have been far more than $5k in repairs on the other, and you still would have had a salvage car, that was also a shaggy dog.
Better to get the one you did!
Also, regarding your vacuum pump question, seems it was not answered.
The "key" that you turn on is the ignition key, not the valet key.
You turn the ignition key to on, not start.
When you do, you should hear the vacuum pump run.
It is located in front of the passenger side wheelhouse.
The pump should run for about 5 seconds and then shutoff.
If it does not shut off, you have a vacuum leak.
If it does not run at all, you have another problem, or you just started the car recently, and it has NO leaks, but that would be rare.
Dark Red Metallic is an excellent choice!
Enjoy your car, and Congratulations!
Marty