If Avalon distributes binaries, they are under obligation to provide the corresponding source code. It's very clear and simple. Then later, they can change the source and provide new binaries for the next batch.
Agreed. And, if the source code is not packaged with the device, I assume Jeff will ask for it and hopefully make it available.
And if I were BFL I would lob him the cash for the legal fees to get the shipments all stopped in customs!