Long-short question: I am working at a new project, a lab power supply. I used some TIP3055 for this project. Those TIP3055 were recovered from another project and the pins were a little bit short. I was forced to bend them from near the plastic case to make them fit to the new project PCB...