I see now that I mixed up Octavio's name. My apologies. (People do that to me all the time, since my surname is also a common given name. But my mistake was a pure brain scramble.) James Ernest