Could be a 32bit/64bit problem which is a combination of hardware/software old/new, the drivers are 64bit but your OS is 32bit, or the firmware of the Ultrastudio Mini Recorder does not match with the current system.
Best is to start a ticket at BMD support, by sending them an email, where you explain everything in detail.
is the Ultrastudio Mini Recorder the 3G version ? (new is Thunderbolt 3) (old is Thunderbolt 2)
Thunderbolt 3 also needs a Thunderbolt 3 cable and not USB-C connectors look the same, ony the Thunderbolt 3 has a Thunder icon on it, USB-C has not.
Also with Thunderbolt 2: Thunderbolt 2 is not Mini DisplayPort , although the connectors are the same in both cases, so check all the specifications, of the the things you're using.

- Screen Shot 2023-03-20 at 20.02.55.png (154.42 KiB) Viewed 680 times