It'a rocker switch not a push button but GFA-1 is included in the header. Maybe the body of the switch is compatible so it will be a drop in replacement,
Wouldn't hurt to confirm just in case they made a mistake in the ad description.
It says "please contact us if you have a question about this item"
I replaced mine with a rocker switch from my parts bin. I did need to file out the mounting hole about 1 mm wider for it to fit, but it was not that big of a deal. TThe original got a bit unreliable after I removed and re-soldered the leads to it. The rocker is much nicer.
Hi:
Not to change the subject , but , the replacement for the sometimes broken and shattered output banana connectors is :
Pomona Electronics 6883 Dual Binding Post. Available from Mouser as # 565-6883 for $2.66 ea for 10. www.Mouser.com
A real pain to replace due to the number of large wires attached !
Hope this helps , I have been looking for this part for awhile.