Flush ALL the brakes IMMEDIATELY.
Best case scenario is the amount a PS fluid was so small it didn't hurt anything.
Worst case scenario is he put in a significant amount of the fluid and drove like that for a while and needs most parts related to the braking system replaced. (ABS unit, M/C, hoses, calipers)