Summary

This case is designed to hold a Raspberry Pi Pico H board and a 9.5mm diameter push button.

There are two parts, a bottom that holds the Pico, and the top part with a hole through which the button can be mounted. The bottom is tall enough to handle the GPIO pins pointing up (BOOTSEL button pointing down) and the top is tall enough to give space for the button.

I used this button: https://www.digikey.com/en/products/detail/adam-tech/SW-PB1-1BS-A-PK1-A/15284468