Should be 6mm. Either your tool is worn down or the bolts have been hogged out in the past. Be carefull, If you round one out,
life will become very painfull. I put some valve lapping compound on my allen tools to prevent them from slipping under pressure.
this seems to work pretty good for me.