We learned in Jan 2014 that Randy Himes passed away on Oct 6, 2013. No further details and could not find an obituary. RIP.