I recently ran into an early war Walther PPK that has a fair amount of holster wear. The odd thing is that is comes with a very dark green holster stamped with the DRGM stamp. The gun has considerably more wear on it than the holster does, I don't think they are a set that have been together for years. I've never seen a dark green ppk holster, but doing some searching on the web it appears that they may exist? The holster honestly looks like it could be a reproduction, it does have some wear but its so clean that I question the authenticity of it. The PPK looks legit but the seller wants quite a bit more with the holster and does not want to separate. I really don't collect holsters so I don't know if it would be worth the extra cost, but if its something special I don't want to miss out. Anyone familiar with these green holsters? is it worth anything?