I have a hard time believing that 1.5mm of hop is within factory spec. I'm quite slackerly about radial runout and my wheels mic out to .6mm at the most. It's pretty painless to get a wheel to that point and a bike shop professional should probably be able to do better.