Except that the 15-1994 has been discontinued and is now a highly sought after item, so I doubt that anyone how has one is going to be that keen to let it go. I know that when they announced that it was being discontinued I ran out and bought the last few from my local store at $30 a pop, just so that I would have replacements if my current one ever breaks.

Rob.