Yup - just might need to swap out some plugins if they don't have 32-bit versions available.
If there ARE some plugins that can't be swapped out, then perhaps he could create a version of the project that has tracks with those plugins bounced, so that you are then dealing with 32-bit audio.
Bob Bone