This Pedal is currently available.
Spring Reverb (DSP)
These merchants probably sell this module. Huh?
Included in 12 Pedalboards, 3 are public: