Over at this link, there is a claim that $(2n)! = n!n! {{2n} \choose {n}}$ - see Tom Boardman's answer, the second one down.
I'm wondering why this is the case and if anyone can provide a proof. Is this a special case of a more general relation, and does anyone have any good references for manipulating binomial coefficients and factorials?