Final word on this, changed the pulley bearing today. (Brand name is NACHI Bearings, same as what came out, full number on the box is 30BG5222-2DSE). Very easy with a press - ground off the old peened over bits with a die grinder first, the new bearing was a perfect fit. Bearing is nice and tight in the pulley, but re-peened it with a sharp punch to make sure it will stay. All quiet and operational. Simon