I saw a 1942 HK yesterday in the 11700 range. Very nice condition with a non matching mag. My question is that the pistol had a black set of grips. Were they correct? Thanks in advance. Banjomike