Was yours/his black edition?
Mine is one of those few 'locked multipler OEM' 955's.
Max i could pump out was 3.8 as well. (While still being within acceptable temps that is XD)
Haha, yes, both of ours were Black Editions
He got very lucky... (damn you Silicon Lottery!) I think the highest he could go before he ran into temperature issues was around 4.3?
I couldn't even hit 3.9Ghz without pumping 1.5v into my chip lol!