That is a good idea. Those 9g mini servos are only $2 each, so that is much more affordable than the ‘retail’ solenoids.

If you are willing to wait on them, you can get 5 packs of 9g servos for $2 including shipping from China.

I am interested in that url, please.

I’m not seeing them in stock with the sellers I usually buy from, but here is a 4 pack for $4.39 including shipping from China ($2.09 from US, but not free shipping):

https://m.aliexpress.com/item/4000066002225.html

I hadn't even thought of using small servos. Possibly that would have been a lot simpler! I went though a bunch of prototype EMs testing to get a working combo of voltage, windings, core size, etc. (Blew more than a few driver circuits too...)