Hey stephanie32h,
Yes please get the codes read and let us know what you have.
The check engine light coming on means there will be codes stored.
It sounds a bit suspect that the vacuum pump would break but that is extremely cold.
Hopefully the codes will highlight an issue.
It sounds like they didn't actually find anything the first time.
Interesting they got it back running and they didn't tell you what they did to get it going or what the source of the noise and lack of cranking was.
Best of luck getting the codes read.
Regards, Joe
Sunday, April 7th, 2019 AT 3:40 PM