Yes, but did they cash out into real currency? There are lots of "US dollars" on MtGox sitting in the accounts of people who sold bitcoins. It's clear someone has the US dollars; it's not clear it's in the hands of the sellers (or ever will be).