JETSON TX2 power cable

Hello everyone, I want to hook the Jetson TX2 up to a battery on our mobile robot. I don’t want to cut the one that came with it as I still want to be able to connect it to a wall.

What are the exact dimensions of pigtail power cord? Is it 2.1mm by 2.5mm? Such as this one:

I believe that it is 2.5mm ID, 5.5mm OD