Probably right, I didn't look to see but I do have that one. But it is gibberish if you are looking at a list of ASIN file names. Sure you can look up the ASIN, but that seems like more work. When I convert a book I always name the file the same as the title, though in the example of above I would certainly shorten it to All-the-Popes-Men.mobi.