Do Mining Maintenance Contractors Hire or Buy Their Equipment?