If they had, how could there possibly be $15 of arb with CampBX? I don't use Mtgox so I don't actually know, but I can't imagine this situation coming about any other way.