Can someone tell me what size socket I need to get the crankshaft pulley off a '96 Civic EX? I've searched thru a couple how-to's on timing belt installs, and they all seem to list every bolt size except for the one I need! Thnx in advance.