It turns out administrators could change the email address anyway. :)