I think he is either typing the commands wrong somehow, or they are in a different format on OSX. I think his USB device is still fine because Truecrypt must have detected it for him to attempt to mount it. If recovering the header from the embedded backup doesn't work, when we find out how to do that on OSX, then you can try to mount it without a filesystem and repair it. If that doesn't work I give up.