Dh likes to add extra nuts to his cereal, mainly brazils but could be general mixed nuts (but not peanuts). He tried putting them in a blender, tried the blender with them added to liquid - doesn't really work , so now he's hand crushing them with a pestle and mortar. He ends up leaving bits lying everywhere etc. I've seen some coffee bean grinders that say they can be used for spices, seeds and nuts but not sure if they would cope with the likes of Brazil nuts.
Is there anything anyone can recommend? Can be electric or manual 