This Pedal is currently available.
Mini Volume Pedal
https://www.jimdunlop.com/product/dvp4-7-10137-09463-5.do
These merchants probably sell this module. Huh?
Included in 512 Pedalboards, 314 are public: