Enterprise HDD on TX1

Hi,
I’d like to know if it’s safe to attach a enterprise grade HDD that draws 5V, 0.75A to the jetson TX1

I’ve used ordinary 7200 RPM drives. I doubt a single drive would draw enough to be an issue, though I don’t know what the power max is rated at.