Battery tray - torx head fixing screw size?

[bearhouse]

Hello yet again,

My local garage took the battery tray out to get access to the ABS pump. When they put it back they used their impact drive on the highest torque setting. So, when I wanted to remove the battery tray I couldn’t remove the screws no matter what. My only option was to drill them out, so drilled the heads off and managed to get the tray out. I need to put something back, doesn’t have to be a torx head but I don’t know the thread size. They look something like M6 but I’m not sure. Does anyone know?

Thanks again.