IRS pencil sharpener now available