How long did he drive it for with it blown?

I flushed twice with this:

Cooling System Cleaners

followed by vc-9 then distilled x 2.

Make sure that you put an ec1 rated coolant back in the truck or you will be going through this again in another 20-50k miles.