How to make user IDs start on 5000?
One could modify the auto increment field of the users table in the database. Similar to https://stackoverflow.com/questions/970597/change-auto-increment-starting-number.

ALTER TABLE users AUTO_INCREMENT = 5000;