There's no such thing as an accidental discharge. There is only negligence. Poor training or even poor equipment choices such as holsters constitute negligence.
Hopefully he didn't hit the koran with his stray!(hate to see the waste of a good bullet)
Probably didn't, but he does now have what truckers call a tee-tee hole. Get a funnel and some plastic tubing and he can drive all day without stopping.