Davon is picking out some movies to rent, and he has narrowed down his selections to 4 children's movies, 3 documentaries, 6 comedies, and 5 mysteries. How many different combinations of 9 movies can he rent if he wants all 6 comedies?