Unless you plan on sketching, leave the pencils at home. Lead is messy and unless you go with the mechanical option, chances are you’ll never have a chance to sharpen them once the pencil lead goes dull.