Nice manuals, I try to pick them up when I can at shows and whatnot. The frame mounted decocker one was only produced for a year or so before they came out with the 4026 and updated that manual slightly. Being less often seen it would be priced higher of the two. $20/$40 I'm a-thinkin', give or take.
Todd