Like I said, you (they, whomever) might try restarting IIS first instead of the whole server - but I did a full restart first (because I didn't think of just IIS).