it is clear that the cause of the accident was known about, almost immediately.
I believe all Mk10 equipped aircraft were grounded immediately after this accident, but soon after, the Tornado was cleared to fly. (different mechanism). The Hawks remained grounded.