According to NWS, OKC has had 3" so far. By my calculations, that leaves us with another 1 1/2 " to go to break the seasonal record. Think its gonna happen?