For the record:
If anyone is interested in setting up a bounty for AOS sources then I'm willing to put down $1000. Personal, hobby, non-commercial money.
Make it for 3.1 only if that makes it any easier.
(The bounty should have some legal-speak that indemnify the buyer(s) if the rights are disputed at a later date.)