Technology: Gaming PR chief Dean Bender retiring after 40 years