Getting his money might be rather difficult at this point. The biggest trading house, MtGox, had its US assets seized a couple months ago and ever since people have been complaining about being unable to withdraw funds. There are some other trading sites like BitStamp, but I’m unsure how much volume they can move.
