Mini Slider by Tukey_22
Published on August 5, 2019
www.thingiverse.com/thing:3789820
Creative Commons - Attribution