I'm finishing up my head gasket job on my 92 RRC and I'm trying to set the timing. Obviously RAVE has failed me, so does anyone know what size the crankshaft pulley nut is? I'm attempting to turn the engine to TDC on the compression stroke, but can't find a wrench or socket that fits. Any help is appreciated.