Great memory, P.B. - we used to call those "old man olives" when we were kids. Very tasty indeed.