It said the running club owned the AED.  Maybe they just bring it to their own meets and it wasn't available for the school event.  Seems like schools should have their own, though.  They aren't that expensive and are simple to use.