Phil, not sure if you were successful at getting a pi4. Unfortunately, I do not have one that is available. Stock is 0, or scalped at high prices.
Also found articles that indicated the Pi4s are being sold as fast as they can be made by industrial contract commitments. One article indicated that the pi4s would unlikely be available to US consumers till ~2Q23.
There is an alternative, pi 400. They are in stock in places if you search. $100 with power supply and mouse. Saw them some place for $70 w/o PS/Mouse. The Pi400 does bring out the gpio and all the usb/hdmi/enet connectors.
Norm