Rebel Yell - what model keyboard?

[lanfisher]

Hi there.

Does anyone know what kind of synthesizer was used in Billy Idol's "Rebel Yell"? I read that it -might- be a Casio, but I'd still like to know the exact model (or how I can duplicate that sound via a MIDI controller).

Thanks!
Lanny