They should contact ATC in the area, verify if military fighters were operating in the area.
It’s easy these days to go Mach without trying.
My guess is you are correct. I lie next door to and AFB that flies out over the Gulf and we hear the low rumble all the time...
Or, contact AOC in the area, verify that perhaps the 11 years remaining date should be moved up a tad.