They are remote control.
One has the original plug, the other I have modified to use a brand new joystick controller.
These old lamps are pretty easy to re-wire if you don't need multiple station control. The old controllers are problematic, so I decided to try a new one, which works great.
The motors were always 12v on these lamps, but the the bulbs where of 12/24/32 volts depending on model. On the lamp I modified, I use a 12-24V buck converter to power the lamp instead of the ancient power supply they came with originally.