I think Wikipedia is saying the size is a T10, unless I'm misinterpreting and it might be a T15 or a T5?
Maybe I should just get a full set, in which case what do I want to look for/avoid in terms of quality/overpriced brands?
https://www.screwfix.com/p/erbauer-mixed-screwdriver-mixed-bit-set-113-pieces/1480v
https://www.ebay.co.uk/p/2006357740
Doesn't seem to have any small flat heads though, which I'll suddenly be guaranteed to need if I get that set. :<
Twenty of them are drill bits, but hey - maybe I'll find a need to make holes too.
Except it's about £60 and two weeks delivery. Bleh. :(
The existing torx screwdriver I've got wouldn't fit even without the middle bit.
If I can spend £25-30 for a set capable of handling any encounterable screws, that'd be great - so long as they're not weak pound-shop-quality crap.
:)