Can anyone identify this FX pedal being used by Josh Lloyd-Watson from Jungle to trigger a pitch riser sound? It looks like a guitar pedal but I can't find it anywhere.