Are you using Final Cut Pro?

If so, just borrow the camera he shot it with, and use the firewire connection on the camera to load it to your computer. Then you can edit it and output it however you want. Other than that, no idea. Sorry.