Pay 50BTC to become a VIP, and then be able to change your username there.

Or, have a good reason for theymos to take time to change it manually. I doubt this will happen though - it rarely ever does. You might need to have contributed to the forum, but don't quote me on it.