A wise decision IMHO... I would not have paid anywhere near that for a MP40 that had a hole drilled through the receiver. Even without the hole I don't think it is worth that. Nice, matching MP40's can be had in the $13-15k range if you take you time. Any MP40 priced over $16k is over priced in my opinion.