Yep they are Relco 480 starters, though I believe Shelyak sort them, probably based on trigger voltage. Their power supply is also designed to prolong their life (constant current ?)
I have some notes on this that Francois Cochard published somewhere. I will dig them out