I'd say try a 9mm socket as well, though just be careful with it.
FWIW: If you haven't got one, go to your local hardware/DIY shop/store and find a "T" bar socket set, with sockets. They usually range from about 6mm to 10mm, and are very handy to have around the place.