I've created a hack: combining unique usernames with random hashes guarantees unique names, even if the base name is taken. For example, I send "Mike%123456" from one device and "Mike%234958" from another. In my game I can extract the nickname by splitting the string, and display "Mike" part only.