Well it's certainly possible and probably true. So I'd accept him at his word. I was in Vietnam, and though not a sniper can say first hand there were a lot of M16s and M14s there! (As if I'm saying anything new!
)
As far as a 9mm, I never saw one but no doubt they were there. As you implied the Hi-Power would be one of the most likely.