Oliver H. Snyder Jr., 72