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.