We have tonnes of pencils, the little manual pencil sharpeners never last very long. There are lots of electric ones for sale, which one is any good, for both colour and hard pencils?