Linear Actuator w/ Proximity Sensor and Counter

Sounds like a pinball machine actuator.

You might consider a magnetic coil instead of a hook. It can be turned on and off by the Arduino.

Perhaps the magnetic coil could be attached to the top of a cog belt, with a stepper moving the belt.