I'm interested in adding a Walther PP Super to my Walther collection. I found one at a dealer that needs a set of grips. But has the factory box and 3 mags.This one has black plastic grips with a thumb rest on the left side. Is this factory? What do you think of the PP Super?