Torx tool for Hayes caliper?

[astrocan]

To change the pads on my sons Hayes Ryde caliper I have used a 2.5mm hex key. This has worked for a while but the correct tool is a torx (star shaped) key but I cannot find one the right size. All the sets I already have jump from T10 to T15 and these pins are somewhere in between. Does anyone know what size I need and where I can get one, or a set that includes one from?

 

[e-rider]

Park Tools make a set just for bikes so it'll have all the correct sizes (T7, T9, T10, T15, T20, T25, T27, T30, and T40).

Interesting that it also jumps from T10 to T15

 

[GrumpyGregry]

If I've understood you correctly I think this suggests the correct tool IS a 2.5mm allen key.

 

[astrocan]

Well that would explain it.
I will get my glasses on and point a very bright light at it.
Thanks Greg