Chris,

The Fox collectors site has a nice identification section on their site. You or your friend should be able to look at that site and identify his gun.