How are Baby Carrots Processed?

I saw a show on Food Network that showed the process of baby carrots and they are just regular carrots that are cut up. They are put in a big drum that spins them until they get the right shape.