We also have these buttons here (Germany/Bavaria). In my opinion, using a different key than button_operated for them would be desirable so that we can clearly distinguish them.

I’m not aware of an existing solution, so I guess you would have to invent a new tag – something like

traffic_signals:sound:button_operated=yes

maybe?