I would replace the oil pump seal. It's pretty cheap and it's four more bolts to remove when you have the timing belt out. They don't often fail, but when they do, they can make you lose oil pressure. If you chance it, you'll end up out in, say, Carmel and you'll notice tappet noise at idle. That will be your notice that it's failed. Then you'll be caught in the devil's dilemma. Is a tow bill back to, let's say, Walnut Creek cheaper than a new engine?

And yes, it will happen just like that. For one member on the board, it happened exactly like that. Can you guess who?