Hi,
it's a bit hard to know if the service personnel damaged the pump or not, but you can ask them to test it for you and ask them to explain the damage. Maybe take some photo to share in the forum. I've read that some vehicle makes do have the same service procedure for internal fuel pump. But not at 80k. Maybe more.
Cheers.
Bookmarks