It'd depend on when they joined and whether they still visit regualrly. I suspect that the admins have more important things to deal with at the moment, like getting the site back to how it was before problems came up. Probably won't be a problem, it just might not be done immediately.