You know, I just listened to that song again, and I may be wrong about the keyboard. Sure sounds like a Ketron style. I had both during that time. No wonder it was hard to guess since I'm not certain myself.
Randy gets a dinner too!
I will try to research more. Not that it REALLY matters except to demonstrate the quality of all modern arrangers.