https://pinside.com/pinball/forum/topic/replacing-headers-on-a-pcb-simple-trick-to-help-out