I am pretty sure since 2013 there have been no more than 3 events with legit 5" hail reports in North Central TX, one of which was this year in Salado. 2016 in Rowlett. And possibly June 2018, though I doubt it. And not sure I ever saw hail that big in OK from 04 to 2011.
Truly a rare event...