I made a Pico IIDX controller which is heavily based on 3D printing.
You can make one if you want. Source and production files are all in my project repo.
IIDX Pico Project: whowechina/iidx_pico: Pico beatmania IIDX controller (github.com)
IIDX Teeny Project: whowechina/iidx_teeny: A Liteweight Beatmania IIDX controller (github.com)
The author marked this model as their own original creation.