If he was blowing smoke out the exhaust, his intercooler is full of oil. Depending on whether or not the compressor rubbed (I'll bet it did), the intercooler might also be full of aluminum debris. With any luck, the intercooler caught the compressor impeller trash, and none made it into the engine, but I'd check.
In addition to changing out the turbo (be sure to pre-lube it and to check the drain line for debris), I would:
1. Remove the intercooler and piping.
2. Inspect the air piping between the intercooler and intake elbow.
2. a. If debris is found in this air piping, remove the intake elbow and inspect the intake plenum/manifold area in the head.
2. b. If debris is found in the intake plenum/manifold, one must assume that it's in the cylinders. Time to remove the head.
3. If no debris is found downstream of the intercooler, have the intercooler and all air piping professionally cleaned.
4. Reassemble.
5. Remove or turn down the box before blowing another stock HY35W-9 turbo.
JM2CW
Rusty