Bought this genuine Martin tool from Gear4Music last month as shown
Ball end
5mm
See photos for sized
Nb this is a quality tool