William Norman Grigg, RIP