Oh! yours are -gone- gone. I definitely believe they were broken off that way. I have had a few machines the same way. The 401 and the 403 most notably. The pins can be replaced if you ever want to. The online shops want a fair bit for them, but I can get them if you ever need.
I'm really looking forward to trying it out. Darn paying clients stopping me doing that.
