crankshaft pulley bolt - size?

[Daniel Thompson <dthompso@total.net>]

I've decided that rather than mooch off unsuspecting friends for the
thousandth time, I will actually buy a socket to fit the crankshaft
pulley bolt. You know, the one you have to jump up and down on to
loosen.

>From memory I think the bolt is 1-5/16". That always sounds too big, is
my memory failing me or is that the right size?

Thanks,

Daniel T.