A big rain in Edmond, OK