Hi John
I never take extreme mesures, I prefer to change the user id something bigger than the list.
But I think this is also a solution.
I for once would try this on a test installation first and see the results, as you might loose your admin credentials and entry to the admin.
MAybe first login and then via php admin deleting the existing users.