I was at the local gunshop the other day and they have a Colt Woodsman Match Target in the case with the original cardboard box and a few papers. Very nice condition, probably 95%. Instead of wood grips it has shiny brown plastic target grips. Just curious if these were standard with the Colt, or are aftermarket. The gun dates to 1956-57 based on the serial number. They are asking $799, does that seem fair? They seem to be all over the place on Gunbroker.