This Pedal is currently available.
MG ID: 38038
25-Key Keyboard Controller
https://novationmusic.com/en/keys/launchkey-mini
Included in 2 Pedalboards, 1 are public:
How much is the fish?