I don’t know if anyone caught this, but there was a 3.5 about an hour prior to the 5.1.
I certainly felt it.