I popped out to the shop to measure a couple things. The f-head starter is indeed 9 toothed but they are much pointier and the overall diameter of the gear is 1.14”. It rolls across the 124T flywheel nicely.
The new MB/2A 9 tooth starter gear has much flatter teeth resembling the original 10T pinion. It measures 1.42” diameter.