If you're doing it yourself, go ahead and replace that timing belt. I would recommend shipping the head off to a machine shop so they can clean it up for ya (just be sure to pull all the sensors off, because you won't get them back). They'll hot tank it, check for warping and probably take a few thousandths off so you have a clean surface for the new gasket to mate to. You'll also want to check the block deck for warpage as well. This is just using a straight edge and a feeler gauge. Your buddy will know exactly what to do. While the engine is apart, it would also be a good idea to pick up a full engine gasket set (it'll come in 2 sets: head gasket set and block gasket set). It's a little extra expense, but well worth it since you got downtime waiting on the head from the machine shop.