Yow, that sounds WAY too much in my opinion... I would check around. Also could be something else - possibly the head gasket, but I am not sure... I think these leak toward the back of the engine?

I would wait for more info/advice here before making that $1000 plunge!