Robert Joseph George Jr. was a producer.