Changing spring seat dimensions is pretty common, usually the outside dia is increased but no harm in doing this. He only removed a few thou so no significant weakening in the guide area.