> 20,000 to 40,000 Raspberry Pi users (I don't know how many have been
> sold so far, but it is a large number)

News item from 2.5 months ago:

http://www.raspberrypi.org/archives/3011