They must have very bad luck indeed, unless the lightning energy zapped into their computer through some unfiltered source, such as an ethernet cable, or as a sideflash from one of the walls (in which case their earth should have protected them). I think their UPS should have protected them. Even the casing earth is protected on a good UPS box. Maybe they can claim on that connected hardware guarantee that comes with most UPS :-)
Anyway, whatever happened - they have to fix it real soon, or the next thunderstorm will just zap them all over again.