You take the four Aces, four $2$'s, and four $3$'s from a standard deck of 52 cards, forming a set of $12$ cards. You then deal all $12$ cards at random to four players, so that each player gets three cards. What is the probability that each player gets an Ace, a $2$, and a $3$?
