I was trying to change a burst radiator for a friend, but found I did not have the correct size of allen key to remove one of the radiator tails. the biggest I have is 12mm, which was just too small. Can anyone tell me if the standard size for these is 13mm or is it 1/2"?