The drivers power door lock just quit working, the passenger door is fine. on 2003 Mini Cooper

It worked fine until my grandson took it for a drive. Could he have done something or is it just one of those things. What can be done?

Asked by for the 2003 Mini Cooper
Lock actuator problem.
Thanks, It goes in the shop Monday. He said itn could be the actuator.
1 more answer , 1 more comment
It's most likely just a coincidence. You should bring it to a repair facility and have it checked.
Thank you, I will.