Did the shop change the oil in it? How long had it been since the oil was changed and had the level been checked leading up to the issue? I can't imagine them doing anything that would have caused it to lose oil. Sounds like you had an issue with oil pump based on dealer info.

I'm unable to make a determination if anyone was at fault with information provided. I'm not too sure that the late model turbo 4 engines are junk but the jury is still out.

If I were you I'd call the local dealer and ask if they can help out with it. The clue that something was going on (and not being resolved) was the ck engine light staying on like it was. What was the code that turned it on (the actual description, not the P number)? If they can't help and you have full coverage insurance I'd get the insurance company involved.

__________________
Jim