This Pedal is currently available.
https://www.diamondpedals.com/products/vibrato
These merchants probably sell this module. Huh?
Included in 17 Pedalboards, 7 are public: