Ok, thank you all for the help! I will go the milling route. Any advice on the optimal diameter for the end mill? is 6mm too big for spiral cutting...