https://www.youtube.com/watch?v=NgEJ9gMxP90
I've looked for pictures of what they may have used live but not much comes up.
there's videos of them playing it live but unfortunately the keyboard isn't very well lit.