Lots of bad information in this thread
The main reason you don't see electronic lockers for the 9" is the packaging issues with the diff design. The 9" ring gear has a small inner diameter and there is a pinion support bearing that results in a relatively small carrier. It is difficult to make a selectable lock that matches the strength of the gear sets and axles available for the 9" within the constraints of the carrier envelope. It took a long time before ARB made a 40 spline 9" locker and it is $$$$. I think it would be possible to make an electric locker for the 9", but would it be feasible to make one strong enough and affordable enough people would buy it over an ARB? I don't know, but I certainly like my electric lockers and have seen way more issues with air lockers on the trail. Electric is less complicated in my opinion and easier to fix on the trail if you do have issues.
Eaton uses three different designs for its locking mechanisms on their electronic lockers: Ball and ramp (shit), Collar locking (decent for trail rigs), and the new "direct acting" (which should hold up much better to abuse). The GM and Ford axles use the "ball and ramp" mechanism which locks and unlocks during direction changes and take longer to re-lock and is very susceptible to damage during these situations. The "collar locking" style used in the smaller Dana axles also locks and unlocks during direction changes, but does so much quicker and is less susceptible to damage. The "direct locking" is only available in Dana 60 and 70 applications, but does not unlock during direction changes and therefore should hold up much better to abuse.
The Auburn ECTEDs as mentioned are really just clutch-type limited slips that tighten up when they are turned on. They wear out just like normal clutch-type limited slips, and may not lock up 100% even when they are fresh.
Ox makes electric actuators for their lockers that I believe function more or less like other air lockers, but the electric actuator that operates the "shift fork" is not integrated with the carrier and has to be incorporated into the cover. Obviously this doesn't lend itself to drop-out style axles. I believe the short-lived Detroit Electracs functioned similarly, but were based on a Torsen-style carrier rather than an open carrier.
I am not sure how the OEM Toyota, Ford, and GKN (Rubicon) lockers operate, but I do not believe they unlock during directional changes like most of the Eatons do. I am not aware of any issues with OEM electric lockers.
So to answer the original question, no, there are not any electric selectable lockers available for the 9", and there probably never will be.