Most of the replacements come with Phillips but the originals were clutch heads, #12 sounds about right.
http://www.flickr.com/photos/advance-design_parts_co/8129202876/in/set-72157631867396207