Yes I've taken. No where near an expert in it like you. Muscle memory is something that has to be trained and trained and trained over and over. It's not something your just going to learn in a couple of months, stop training, and all of a sudden keep doing it for the rest of your life, or career in this case. It is something you have to keep working on. I train a lot with weapons. There is a HUGE difference in training, and being in actual situations that you need to use. Muscle memory helps, but it's not 100. Plenty other nerves, adrenaline and other factors play into it.
So no, I don't think it's going to be muscle memory for him yet at this point. Even if it comes to a time where it is, how much will help in the situations I just listed in above post?