When buying a new pump does the pulley come installed on pump or do you use your own? Or buy it separately? I am thinking the pulley got unwelded or detached from the pump shaft somehow. ?