It wasn't the same model or vendor MB but it was a compatible one. Same chipset.
That's actually not bad, last time I checked the only ones that were in stock cost 300+ (IIRC all x570). My plan then was to maybe get a new case and rebuild it on a micro ATX board which are generally more available and seem to have a few decent options in the ~80 price range.
Anyway, again it's a question of is it worth it spending several hundred and the time it takes to rebuild. It currently "works" fine except it takes 5 minutes to boot and is unable to save any BIOS settings like XMP, fan curves, and so on (and yes I changed the CMOS battery - there's a long thread on the ASRock forums of others having the same issue even after the battery is swapped). The non-optimal settings probably eat a few % of performance but other than that it's mostly annoyance, so it still feels like if I'm going to invest any more in it, it better be more worth it