8:30 this morning at vallejo high school. mark matthews joins us now on the phone with the latest and hopefully, mark, the latest is no one was hurt. >> reporter: well, there was one serious injury to a district employee. has been taken to the hospital. another district employee has also gone to the hospital, but reports are that his injuries are more related to just being shaken up by this explosion that happened this morning. apparently what this dates