RIP to our friend and classmate, Jim Miner.  You fought the good fight and have earned a rest.