They've all been sold (except maidsafe bought their own coins too with mastercoin to sell on for bitcoin)

http://www.mymastercoins.com/Investors.aspx?CurrencyID=3

Seems to be getting the bitcoins in pretty fast https://blockchain.info/address/1KHfLixa2idRnZXMUfEisBati1vpywaH6E

I've got some for sell if you want but need to get the wallet up together first I'm doing 26k per bitcoin for the first 100k then dropping to 25k for the rest