It is my understanding that they don't need to file an 8-K if they are an alternate reporting company and that a P.R. is sufficient for disclosing this type of information. If they were a SEC-registered reporting company, they are required to file an 8-K.
Someone else can correct me on this if I'm wrong.
$FUNN
The best way to limit regret in life is to take action.