We used Sharpies as well. Definitely don't use anything smaller. The characters have a hard time holding smaller pens, sometimes even Sharpies. The bigger the pen the better.
we had a 10-color gel pen that was a great size and the characters could choose a special color if they wished. It was cool but the mechanism was dodgy and we won't do that again unless I can find a better one.