Oh well, I guess this resolves the dilemma. Definitely not shelling out money for the new pair of AirPods.https://www.macrumors.com/2023/09/13/usb-c-airpods-pro-case-not-sold-separately/