Mouser maybe for eyelet, I guess I can measure size of original eyelet with caliper. Although it seems they only have brass eyelets, not copper.
https://www.mouser.com/c/electromech...q=pcb%20eyelet
There's also
https://www.circuitmedic.com/index.html
Prices seem high but perhaps a better selection than mouser.
Any recommendations on eyelet setting tool for this small size?