Where on earth did you find a 23mm socket? I've looked high and low for one to no avail. Everyone sells 22 and 24, but it seems as though 23mm just isn't common. The same goes for your regular old box wrench as well.
I look forward to filling both the Miata's and the Protege's with GMS.
I look forward to filling both the Miata's and the Protege's with GMS.