Broken DC-DC Converter

While tinkering with my raspberry 4 and the quad sata hat, the DC-DC converter got damaged, most likely….
I can measure 12V at the dc connector but no led lights up. Also I cannot measure any voltage on the gpio pins.
When I connect the usb-C connector from the raspberry both the boards light up.
Does anyone know where I can find the DC-DC Converter on the Sata Hat. Is it worth it to replace it?
Thanks !