You already got a problem. The weird whining noise is what I,d worry about.
It could be a throw out bearing, which means his clutch change was
pointless. Also alternator, power steering, timing belt  or drive belt
tensioner, or something else  minor. You need to find out what it is, or
tell him to fix it, before worrying about the nonexistent possible
problems....If he says he fixed it, make sure the cars cold when you try it
again. Many things are fixed when the car is  warm, not cold....  Good luck.