How to Ban a person with Korean Characters for a name?

So a newspawn joined my server and had mass C4 and destroyed a friends house. we were able to kill him but his name was in korean and i have no idea how to ban him. any suggestions?

Shift-Tab
Current players
Match player to their ID64
Ban that
Convert. http://steamidconverter.com/
Copy / /kick paste

Read this: http://forum.facepunch.com/showthread.php?t=1340910