I have a pencil problem. There are pencils in my stash that are literally from the '80s because they are "too special" to use. Time to sharpen them, or hoard them another 30+ years?