It says “ 0. 3mm, 0. 5mm, 0. 7mm & 0. 9mm sizes available; ” but not what size W00t is offering. No way to actually select what size lead you get. To those that still use pencils, it’s kinda important. Hmmm. Any way to find out? PS googling the model number won’t help because it apparently comes back with a variety of hits on different lead sizes. Anyone have any insights here?