My friend personally donated 20000 BTC to them, luckily he has the disposition of a Buddhist monk.
EDIT: Trying to get this story confirmed, as comments below have pointed out, there is clearly a discrepancy.
Here is the original EFF donation page: http://web.archive.org/web/20110514012705/https://www.eff.or...
It contains the bitcoin address.
Here is the history for that address: https://blockchain.info/address/1MCwBbhNGp5hRm5rC1Aims2YFRe2...
Which as you can see received a total of 3,515.077 BTC. This is still a lot and is worth over $400k today, but way short of your 20,000.
FYI, here is the original discussion: https://bitcointalk.org/index.php?topic=20185.0
edit: That discussion was right after the first bitcoin bubble and at the time it was trading for around $17 so the total donations that they were talking about was about $60k. Still a lot of money to be going to the faucet (and down the drain?).
Apologies.
BTW it is probably possible to verify that the money donated was REALLY send to the bitcoin faucet.
Oh and yeah I got my first bitcoins from the faucet like many of these other people. It was an important service, however given how bitcoins can be split up it didn't need to be giving out large amounts at all.
And EFF are denying that they've ever had anything near to 20k bitcoins on Twitter: https://twitter.com/evacide/status/335461080220454913
Apparently they determined that selling them (at the time) could have crashed the market.
Source: https://bitcointalk.org/index.php?topic=20185.0;wap2
I receives some of my first bitcoin from him! Bitcoin faucets are how many of the bitcoiners got their start.