Size of head bolts for Enya 15-4?

Does anyone know how big these are? I'm guessing 2mm X 8mm, but I'm not sure. I stripped one, and need to buy replacements.

Thanks!