HI David:
it's great that you plan a discussion of these important issues.
I think it's very important to point out here, especially in light of what you say above, that the production files ( eagle, Gerber etc.) of the Arduino NG, Arduino Mini, Arduino mini USB adapter, Arduino Bletooth, and the Arduino Diecimila have not been released.
These files are being effectively held back as proprietary information, and not released as open-source, share-alike files as the project advertises itself to be.
Under the Creative Commons license share-alike that has been used to release the Arduino design, holding back files from the rest of the community, as is the current policy, is really not justifiable for any reason.
Daniel