I believe that Paul is correct. I have owned numerous W517 mini's and that is what this appears to be. I also seem to recall that the mini's come with and without the number on the front, but I'm not 100% positive about this.