I don't have my code book in front of me to provide the reference, but manufactured cable assemblies are considered to have a bonding conductor sufficiently sized for that cable. So your friend will be fine.