We can't emphasize enough pizzaguy's feedback above. If they used any name brand synthetic motor oil in the 0w-40w or 5w-40w (even a 5w-50w) grade level, your engine should be fine.

I gotta remember that suggestion for free work whenever a shop doesn't follow my direction or instructions.

Later,