If the phone has the old bootrom version, create a custom 5.1 IPSW and restore it to 5.1. As far as I know, everything has been worked out on getting the jailbreak untethered and unlock working with 6.15.00 on iOS 5.1.
If it's the new bootrom, check Cydia or TinyUmbrella to see what SHSH's he has on file. Depending on what is saved and what he wants, you can create a custom IPSW and restore the phone that way.