A few days before the real extent of the Gox robbery became known to everyone, one of the users posted a thread here in Bitcointalk. He had some 10 or 20 coins in Gox, and was ready to sell them for a 20% discount. I asked him to sweeten up the offer, but he never responded.
https://bitcointalk.org/index.php?topic=463601.0