Since they're referring to it as a patched driver, not a newly written one, it seems like it uses GPLed code from wl12xx; if this is the case, I don't see how a binary release without accompanying source (assuming they don't get 1350EUR by the 28th) is legally possible.