172 Airbox - what size Torx(?) bit?

[Mostro]

Is Torx the right name? Anyway the star-shaped headed bolts that are used on the airbox. Predictably the only ones I have in my toolbox are too small (just) so what size do I need to get hold of?

Waiting to fit an ITG panel filter.

cheers
M

 

[bmh.01]

T30

 

[Mostro]

cheers ears