RIP, to Tom Seaver also, he passed recently. Bob Gibson passed earlier this year too. Bad year for hall of fame pitchers.