I recomend a Polish Tokerev
I bought a Polish Tokerev 7.62x25 Pistol from Southern Ohio Gun.
The pistol they sent me, was in great shape, the barrel looks new.
It came with a good leather holster, extra magazine, and a cleaning rod.
I bought that gun, and 170 rounds of ammunition delivered to my door for $237.
It can out shoot alot of the newer more expensive pistols I have fired.
I also recently found out, that you can buy a 9MM barrel, Magazine and Spacer for about 50 bucks. It would be like having two pistols in one.
I recomend your friend look at one of these pistols. They shoot precisely to point of aim, are very simple to operate, and rugged.