Thanks everybody for all of the advice. I've only had my CE 04 for a few weeks. I'm planning to keep the T25 driver and 8mm socket driver handy if I ever need to get to the 12V battery (including battery cable connections) when I'm out with the scooter.
If the 12V battery was totally flat...