[metelin]

i see what you mean, i don't know of any ball end cutters with a smaller diameter shank. an alternative would be to embed a tube and cut the top for the shark fins, might be less expensive than a custom cutter.

steve