On the main product page of the XIAO RP2040 there is 3d Model viewer and it is possible to download the model displayed there. However if you do, you don’t get the model shown but a very much more basic one, with only the outline of the PCB (without castellations) and a few holes. No tracks, no pin holes.
I’ve tried viewing it using “CAD Assistant” and “OnShape”, and by reference in KiCad 6 (although they all use OpenCascade as the renderer). I don’t know of any other way.
Is this a mistake? Is there a more complete model available (ideally including the USB connector and other components)?