Most likely he does need to file a Michigan nonresident return. Look at the Michigan instructions and see "Who Must File".
All income goes on CO return. Claim a credit for tax paid to Michigan.
