Does $800.00 to $900.00 sound right to replace a head gasket? I've just recently notices some oil in my Radiators reservoir and am concerned... Robert J. Morales ESD Administrator Mayer Brown Rowe & Maw