MrRick ..... I rounded to 9.5 mm. C'mon .. I think this will do. LOL.
If your first cut is too short... Take the second cut from the longer end... LBD