I just discovered that there has been a port to use the RP2040 in the Arduino IDE. Not official Arduino release...
I've installed the Board configuration
I'm going to try to see if the examples work with the Pico and my SparkFun boards. Probably get to it later this week.
Thought others might want to try it out.