Coach Grunt is preparing the 5-person starting lineup for his basketball team, the Grunters. There are 12 players on the team. Three of them, Ace, Zeppo, and Lecter, are league All-Stars, so they'll definitely be in the starting lineup. How many different starting lineups are possible? (The order of the players in a basketball lineup doesn't matter.)
