A friend inherited his uncle's war trophy, a 1942 Walther P-38. It's all gummed up with dried up old grease. It seems to function fine but I suggested that he take it to an experienced gunsmith to give it a look over and cleaning. Any recommendations in the Houston area?