For a walk through of setting up the pico see this:
https://www.tomshardware.com/how-to/raspberry-pi-pico-powered-stream-deck
Model is intentionally upside down so that keys are on the bed so they can be printed using multiple extruders (or filament swapping)
It's a tight print so you might want to print the case at 101% or you may have to sand a bit to get the tray to fit in
The author marked this model as their own original creation.