I can absolutely confirm that they are T25; as said in my piece above I actually bought a 200mm long T25 bit to facilitate the task. I think the confusion arises because a T20 bit will fit in the recess of a T25 screw and still engage and turn it, but would probably strip the recess if you tried to ...