Electric powersteering?

I think the unit we used on the JD Gator was an after market unit that cost $1000.00 or so. not installed. It took maybe an hour to install and did not take up much room.