Did grove ok ever get hit by a tornado?

Grove, OK was recently hit by the tornadoes that went through Oklahoma. Much of that storm's devastation was in Moore, OK, but Grove was hit as well.