Farewell to Grover

He had a long and good life.