Oooops!!
I'd forgotten about those!!
BTW, I do have an electronic airgun, It's a Ruskie called a Drozd (It means Bumblebee apparently as they were originally yellow!!)
It operates on Co2, Four AA batteries works the hammer to knock the valve open, I presume it will be a Solenoid type of thing..
It shoots .177cal steel BB's as fast as you can squeeze the trigger at around 500 fps, They were originally made to be fully auto but we're not allowed full auto so the options for it and burst rate of fire switches are covered by little plates!!
John