Hah and here I was thinking that being the first to actually comment that I sent a PM was a sign of something. Good luck to whoever got them, that is a good deal.
I'm pondering selling my Supermicro H12SSL-I, Epyc 7F52, 256GB 3200mhz ECC ram (8xHMAA4GR7CJR4N-XN), it's listed on serve the home. I know the CPU isn't exactly what you're looking for, but thought I'd throw that out there.
It's time to clean up some used parts (birth of my daughter = no time to play with PCs). All prices are shipped to the CONUS, I only take paypal from people with some feedback. I'll ship Fedex unless it's cost prohibitory then I'll look at UPS/USPS with insurance. I am open to reasonable...