I am going to have to call bull on that.

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?).