Should I repair my camera or buy a new one?

Steven has a Canon 1D Mk. III and his backup Canon 1DX has lost its autofocus capabilities. Should he repair it for $1800 or buy a new one. Leo says that the 1DX is a pro-grade camera, and that makes it worth repairing. But if you have gear acquisition syndrome, you can certainly sell that camera on eBay and let someone else pay to repair it