I want to confirm that the oil drain plug requires a 12mm allen wrench. I've got a complete allen standard/mm set and it only goes up to 10mm. my local...