5.5", according to my rain gauge

from yesterday evening to this morning.  That may not be quite accurate, as at times the rain was largely traveling sideways.

Lots of damage, flooded areas(official total for the OKC area is 7.5"), and Moore definitely did not need this.