for something that size i would use a 12mm endmill for roughing,leaving about 2mm on, and then use a taper ballnose for finishing. i usually use one with a 0.5mm tip radius it gives pretty good detail