the protocol isn't that complicated, but if you'd rather use something existing, you could just do rabin2 -PP pinball.exe (part of https://radare.org http

the protocol isn't that complicated, but if you'd rather use something existing, you could just do rabin2 -PP pinball.exe (part of https://radare.org https://radare.org) to download the pdb from microsoft's symbol server.