Yes, it’s one of those “note to self” posts, but I keep forgetting how to do it.
As the first step, you run dumpbin /EXPORTS and redirect the output into a file because the utility that unmangles the names (undname.exe) doesn’t appear to be able to take piped input via stdin. Then, run undname
At least that way the symbols become mostly readable.