I meant to mention this earlier: former Red Joe Randa has signed with the Pittsburgh Pirates.
Randa was a class act who played much better for the Reds than I anticipated he would (I’ll never forget this game), and then he brought the Reds a couple of decent arms upon his departure. I’ll remember him fondly, even though I was glad to see him traded.