TX1 schematic symbol and PCB footprint.

Is the TX1 schematic symbol and PCB footprint available for download?
I use Altium, but I can import different formats.

For some reason importing the Carrier Board Orcad files fails.

All publicly available Jetson downloads can be found here: Jetson Download Center | NVIDIA Developer

Anything more detailed will probably require an NDA