ABS & Traction Control lights on after serpentine belt replacement

I’ve got an ’07 Lincoln MKX with 69k miles. Battery light came on Saturday and I took it to the shop where they ran an electrical diagnostic ($140) and told me I needed a new serpentine belt ($139 labor, $59 belt and supplies). Picked up the car and when driving out of the lot, I noticed the traction control and ABS light was on. Shop was already closed when I picked up the car and when I brought it back in today, I was told they couldn’t clear the code, it isn’t a speed sensor issue, and the code is showing the lights are on due to an issue with the pump and it’s just coincidental that it happened after they worked on it. Does this make sense?

Thanks very much for any help you can provide.