The oil cooler and oil lines should be replaced after any engine failure. This is pretty obvious. Debris can contaminate the cooler and lines and it will be hard to remove. I'm surprised the shop didn't do this. That is not cool.