Maybe that 8-K announcing the note got paid off early is still coming sometime today, or over the weekend? Or not.