Well, Yeah, your copy will work just fine, boot into windows, and then insert your OS X Install DVD, it's auto run, so its pretty straight forward, just hit yes, install. Leopard is 129, but the Retail copy that you have will also work on his computer. Tell him not to buy a new copy of leopard...