There has been some online discussion about the Canon EOS-1DX locking up randomly and reporting Err 80 error code. I recently received mine and have been able to reproduce the problem repeatedly and consistently.
I’ve posted my findings in the TechTalk section: Canon EOS-1DX lock up Err 80 code