Micro switch ID

[big10p]

Anyone know what this type of mini micro switch is called, and/or where I might find a replacement? It's in a Microsoft optical trackball 1.0 and measures approx. 6mm square.

Cheers!

big10p2022-06-29 22:31:21

 

[big10p]

Think I've found them. For anyone googling that comes across this post, they're Panasonic EVQ-P0E07K.