Pentel Graph Gear 1000 Automatic Drafting Pencil, 0.7mm Lead Size $8.72 at Amazon. Other sizes also on sale

Pentel graphgear 1000 mechanical pencils are pretty neat. 0.7mm and 0.5mm are on sale at amazon for $8.72 and $8.83 respectively. MSRP $21.99
https://www.amazon.com/Pentel-Aut…000GAXKGU/