It was always a pleasure to work with Gary, while his awful puns helped sustain us during times of stress (eg NUT conference). A sad, sad loss.