5$ name change

[theprof00]

That's why I'm betting that ioi would do it for 5 bucks a piece.
It's really not a difficult thing.
You just go into the database, enter the users section, and change the user_id