Oddly enough, the FJ Navs were allowed to carry a pistol too...
I think the last model carried was the PP (Polizei Pistole - although the difference between that and the PPK were not great).
The predecessor - Browning 9mm - was much better, if no more accurate in average aircrew hands; at least it was hefty enough to smack someone around the head and leave a dent. The range was also far superior- you could fire a pencil about 10-15 feet, provided that you had reassembled it with all the bits that flew out during "familiarisation" on exercises (I think the pencils with earasers on the end were a little more stable that those without).
Mr B