Oh man, sad day. Gary was always super nice, super helpful, always fun to talk to at Bates, etc. He always asked “how’s your family?” and said things like “make sure you take care of them”, etc. Sorry to hear he has passed. Mike, sorry to hear this, sorry for your loss. We lost a good one, that’s for sure. Prayers sent for everyone.