Sounds like fun.
If you can get your hands on/rent a Nagra, the sound of overdriving the tape will bring something special to the party. It's a bit of a pain to set up and run, but it squashes the dynamics of a gun in a really nice/meaty way. Much like recording a drumset on a 2 inch Studer.
I recently did a gun shoot and put an AKG D112 dynamic near the shooter, 3ft or so from the barrel. I thought a kick drum mic that could handle high spl would sound great and give me a nice close up perspective. It was probably the least interesting mic from the shoot. Thin and like a pop gun. The initial SPL from the shot seemed to choke it a bit.
I much preferred the sound of condenser mics much further away from the shooter. Of the mics I put up, a sennheiser mkh 8050 60 feet downrange pointed at the shooter sounded the best, capturing the acoustics of the shooting environment and giving me a nice fat, low end decay. I actually wish I had put if further away. I'd even suggest putting a mic downrange pointed away from the shooter, just to capture the acoustics of shooting space.
If you go with the DPA lav suggestion, which is a good one I think. I'd make sure that you use 4062s instead of 4060s. The 4060s won't be able to handle the spl.
Good luck. Would love to hear a report about the session. And don't forget inline pads, you'll probably need them.