Can someone please tell me what is the size of the stock pulley on a 17 Hellcat?