Texaco sharpened pencil, $3.