Tactile Switch Right Angle 3-Pin

I’m looking to replace the shoulder button of an Anbernic RG35XX H.

I’m struggling to find a tactile switch that is a right angle 3-pin as pictured.

The notes are in mm facing from the picture–except the one with the dots which isn’t precise; that was just to remind me later that it uses three pins in that orientation.

Your description is thorough.

I don’t see that we have anything around that size or with three pins for a replacement to this.