The 10-K should be released sometime after hours, like all the other times. The company usually releases its PRs on Tuesdays or Thursdays 9 am. I hope we get one tomorrow...