Just a few notes about mechanical pencils I own.

Staedtler Mars Micro 775

Long-standing workhorse with cushioned tip, but the rubber grips always work annoyingly loose and the pocket clip housing is easily damaged.

Eraser under the cap; ISO colour codes for lead diameter.