has he changed the crank pulley recently? my friend put an aftermarket one on his,and wouldnt rev over 4000rpm. took over a week to find it!