Star Wars arcade trilogy red button replacement part

[Mogsey1510]

Hello there was just wondering if anyone k ones where to get 2 red buttons for Star Wars trilogy did a little look and I believe I found what the part is called 509-5886-RE any help be appreciated thank you

 

[outrun2]

This? https://na.suzohapp.com/products/pushbuttons/D54-0004-10