I don't think that he knows, or cares what oil put the service guys in there. Yes, I hope there are no significant damages, I spoke with a guy that put only 10w40 in his crz, and he has 170.000 km and no problems at all. I am curious if someone experienced actual and preceivable damage using this kind of oil in a similar honda engine.
As for your version, while it is possible, I don't think it is very plausible
Sent from my iPhone using Tapatalk