I believe these are NOS original AMI (not repro) found in a retired operators inventory in the US many years ago. Four red buttons for an AMI I 200e. Never been fitted to a machine.
eBay