Tomorrow is the day I pick up my Marlin VS. I went out and bought two Pentel .5mm pencils and just dissected them (for the trigger mod). I'm wondering if I have the right one. I'm wondering because they have 2 springs per pencil, each of different diameter. Also I read that they cost $10 each, these cost me $1.61 at my college bookstore. One is royal blue, and the other is an aqua green. They say pentel .5mm PD15 Japan on the pocket clip. The "clicker" is down where you grip the pencil. Is it possible that they make more than one model?? (2 minutes later)-- I just went to office depot's site and they have 17 pentel mechanical pencils listed. Could someone please help and give a model # or a pic? Thanks, this could get expensive!