Unless the USB-C connector costs $7-10, these are beyond ridiculously overpriced compared to the official dev board. At least throw in an IMU or something if you plan to sell low volumes at high prices jeez.
The cheapest one I've seen so far is the XIAO RP2350, which is $5, same as the official Pico board. I'm sure there will be more cheap options once more Chinese manufacturers get their hands on the chips, no-name USB-C RP2040 boards are ridiculously cheap.
https://www.raspberrypi.com/for-industry/powered-by/product-...
Pimoroni has a maxed-out pin-compatible version with 16MB flash, 8MB PSRAM, and USB-C:
https://shop.pimoroni.com/products/pimoroni-pico-plus-2