I'd reserve the panic for when things get confirmed. Yesterday they said Mikkelsen was leaking oil and then it was nothing.