RIP Grumpy Jenkins...1930-2012

Wow. A true legion. Sorry to hear this.