Dim, great story. I used to own one of those expensive plug into the wall sharpeners until they became too complicated and too expensive. Then I discovered a similar device as the one you showed for $15 on Amazon. It works great.