Looking back at his posts he states that "if I heard an explosion from Choctaw in Norman the whole town would have to be gone". So, he doesn't think it's connected. He said his four neighbors heard it too, so I'm guessing what he heard is unrelated to the explosion reported in Choctaw...
He is right about hearing an explosion from Choctaw in Norman it would have to have been major -- it has been pretty quiet around here tonight -- haven't even heard any planes flying around. I have a cold so I had trouble sleeping so got back up and didn't expect to find this reported. :)