PS5 controller full micro-switch buttons

I want to design a set of micro switches that can be used to repair all the buttons of the PS5, but the problem is that I don’t know the size of the original buttons, so I want to ask everyone: Can you share the exact size of the PS5 buttons?