The time you're referring to is the time of my post, not a timestamp on the 8-k. I posted it a few minutes after I saw it, so it definitely became available sometime around 12 pm Eastern time or a little before.