What I would do is create a new user and merge the old user into the new one.
If you wanted a specific user ID to be used, you would have to find that user ID and then if it was not used or abandoned, you would "assimilate" it in a similar manner - merge the source user into the destination user, and change the username.