Oh my god these pencils will be the death of me. If they weren't so expensive I would buy all my kids durable mechanical pencils so they would never have to sharpen them again... but that's out of my budget. Anywho... how do you deal with the pencils and sharpening?? I just spent close to an hour sharpening enough pencils so they all have 4 fresh sharpened ones on their desk for tomorrow morning. But for day to day use... what do you do to minimize the distraction of sharpening pencils and not wasting time. Any ideas would be appreciated!