We'll be glad to answer any questions, and always love to look at pics. If it's a family heirloom, you might tell him about the $25 fee to letter (up under Misc. Info). Always a cool factor for a family gun.
Beware there is a period from serial numbers 370,000'ish to 440,000'ish where lettering isn't worthwhile. WWII got in the way of keeping good records.