I have one that I inherited from my father. Don't know the model #. It's a good tool to have, but I use it very infrequently. I tend to wait until I have a bunch of bits to sharpen, then do them all at the same time.
Bill
Darex, who makes the Drill Doctor, also makes industrial bit sharpeners.