Wow, that's bad luck. Hopefully all their backups restore properly.
On a side note, why did they have IPMI on a public facing network? I understand it may have been their decision but when you have 8 nodes wouldn't the provider be a bit flexible with the request?