How much should it cost to replace the headgasket on a 96 Saturn SLI 1.7 L?

I was told by a mechanic I called that to replace the headgasket for a 95 sw1 will be around 800-1100 depending on how much machining is needed.

SOHC engine is known for cracking heads. Reman head from Saturn is approx $300. If you need a head I/d say at least 1000