The correct size is a 7MM allen, as you say I have found with allens tapping them up a size can help, so many people overtighten these most likely why yours has rounded! I think 8MM would be about right maybe try some WD40 first? So long as you don't sheer it off!

Martin