Found a replacement pulley on NASIOC for the steel one I dented. It's a little bit lighter (whoopty doo!, lol) and the circumference is 25% longer, so it spins 25% slower. Hopefully it's not an issue. It was only $27 shipped used, so I couldn't argue with that. Faster than making my own and cheaper than buying a used steel one.