I agree with Jim. As you worded it it came out as replacing a head gasket and if that is all it is then that is an atrocious amount to pay. You can DIY as it's an easy job. Even if you pull it and take it to a machine shop for valve job it shouldn't cost over $700 total. But I guess $400 labor is about right if you hire it done.