We have changed the achievement "Mouse Killer" from 12333 to 10000. If you already got this score before. You just need to start the game and get into the dlc, then the achievement will be got automatically.