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?

crwdns2934089:0crwdne2934089:0 crwdns2934093:0crwdne2934093:0

crwdns2934109:0crwdne2934109:0

crwdns2889612:0crwdne2889612:0 0
crwdns2934285:0crwdne2934285:0