As far as I know it was a Korg I-series.

There was an ad in Keyboard Magazine with one of them endorsing a Korg arranger (I think it was Hall).

They also used an old Roland Compurhythm drum preset for one of their hits.

I believe the Korg arranger was used strictly for composing.

Ian