They managed to do everything they could without customer involvement. The rest (retiring keys and stuff) can not be handled by them due to nature of the problem.
Now that the technical issue has been resolved by other smart people, I'm gonna replace our cert keys and be just fine.