Thanks for the tip!! Dug up more stuff.
You do great research! Thanks much! Any idea what Heinz's DUmmy name is?