Alright, based on further reading, it is recommended to replace the crank pulley bolt then reuse the original. Since it is only about $15 I will buy a new bolt.