Dont forget to check "all" the timeing case bolts.
On one of the trucks I worked on, the bolt fell into the oil pump and shattered it(its a cast peice), then lost oil pressure, and then crank bearings started to fail, but it was a first gen.
It's an alignment pin for the timing case to the block. Under certain conditions it can work it's way loose and fall into the crank gear and then jamb against the timing case cracking it and resulting in general chaos.
search for dowel pin kits. Fairly simple job to remove fan, water pump, front timing cover and make your own tab. New front seal and you're back in business.
For piece of mind, I'd check it out and fix it especially if he is considering increasing HP