RIP Roger Armstrong (1917-2007)