You can change the user's shell without editting the /etc/passwd file by hand, using "chsh -s /path/to/shell userid" (e.g., "chsh -s /dev/null bwilson"). Thanks for the list, there was one I had left out of my own user_delete script!