Does anybody have a clue what the font and size is on the numbers punched into the Blue/Olive badges?