Thanks for the help so far, it quite surely is a synth (kicks in at 0:55), a Roland Juno 60.
I really want this pedal to work for us, it is simple and latency free. But I fear I have to go down the bass-to-midi route, eg the sonuus g2m, which would complicate things a lot, not to mention...