Yeah I already checked the manual, don't change the fact in the game itself actually says that previous player IDs are available to other users. I suppose one of them is not telling the truth! Why would they write like that in the game than?

In the game it states that after having the player ID changed, your previous player id name will be available to other users. Is that true? I belive that in the jp version you couldn't change your player id back to an ID which was previously used. Is that a mistranslation or is it actually true? Maybe the old player ID will take some time to be deleted from the database and be reusable? A mod may know the answer... thank you