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