Whatever it is we shall see, if he updates

I bet it's the brake switch. 

If he takes it to a dealership, they sure will be more than happy to replace everything and charge him an arm and a leg, even it only takes a few turns of the switch locking nuts to fix it. 
So tell him it's also the timing belt too.