I don't have a pulley to hand to measure for you but I thought I'd just mention that the 'V' in the pulley isn't actually the TDC marker, you line the crank trigger lug closest to the 'V' notch in the pulley with the pointer on the front crank cover and that is TDC, that's caught a fair few people I know out in the past.