Thanks for the find.
I'm interested in this pencil https://www.amazon.com/gp/product/B000TXV2QY/ref=s9_acsd_hps_bw_c_x_3_w?th=1&psc=1
Do you recommend the price? I really don't like .5 pencils