I found 4 carrier boards from 3 other vendors with 25GbE as the fastest Ethernet speed and at least 6 USB ports. All of them support the Jetson T5000 128GB, the module your BRD601 THOR uses.
| Vendor | Board | Fastest Ethernet | USB ports | Jetson modules supported |
|---|---|---|---|---|
| Advantech | MIB-741-AT | 25GbE | 8 | Jetson T5000 128GB, Jetson T4000 64GB |
| Realtimes | RTSO-4007 | 25GbE | 7 | Jetson T5000 128GB, Jetson T4000 64GB |
| Advantech | MIB-742-AT | 25GbE | 6 | Jetson T5000 128GB, Jetson T4000 64GB |
| YUAN High-Tech | EDG6N0-S T5X MB | 25GbE | 6 | Jetson T5000 128GB, Jetson T4000 64GB |
| For comparison: MIIVII | BRD601 THOR | 25GbE | 6 | Jetson T5000 128GB |
Boards that may also qualify: LI-AGO-CB, JNX110, DroneCore JERBOA. Their records are missing the fastest Ethernet speed or the USB port count, so I can't confirm whether they meet your requirements.