Radio got it wrong 3 times before I posted.
You’ll see that I updated to reflect 4:00, after they corrected, and again when court revised time to 4:15.
I subsequently read 5:15:EDT, which would be about now. It’s really another hour?