I don't think they lost 740,000BTC in the sense of "they had it" versus maybe they were selling Bitcoins they never really had in the first place. :-/