On a car that's 17, I'd budget for replacing all gaskets in sight - cam cover, intake, any o-rings for disassembly, cam oil seals, etc. I'd also check/get checked the head and block for warping, and get the heads freshened up with guide seals (at least) or complete valve refresh. Also consider replacing timing belt, unless it's very recent. All depends on how long you expect the car to last after the work, and how averse you are to going back in a few months later.