Yes, I was involved in repairing them, and even converted one game (Frogger) from one hardware platform to another (Scrambler hardware).Brings back a lot of memories! in the late 70's and into the mid 80's I worked making video games - both coin-op and home console (Atari 2600).
I remember how the 25XX series were such a blessing compared to the triple-supply (+/- 5 V and +12 V?) 2708 (and only 1 kiB). Plus I think it needed 23 V or some such for programming.I remember we were real excited about the 2532...