How do you assign a specific user to a different role?
1) Use the user management interface to change the user's role
2) Edit the user's role directly in the database
3) Use a command-line tool to update the user's role
4) Contact the system administrator to change the user's role
