Michigan fan leaves $3,000 tip