Well, that answers the question I asked you in the prior posting, but I have one of those locks, and will take a photo of it and send it to you. But I am on call tonight, so will not get home until tomorrow to do it.

If you are interested in finding one, keep an eye on ebay, but they do not come up very often, and when they do, they are expensive. Friend of mine paid $200 for one I believe, but he wanted it really bad.