If he is dead set on running an oced cpu then maybe you need to give him a link to purchase an old AMD K6-2 cpu
. I ran a K6-3 overclocked for years. I think it was a 400mhz oc'ed to 600 if I recall... Those were the days, I don't know diddly about cpu's now, I just plug em in
Regardless, this is why I never build systems for friends. I send em to Dell dude.
Mike