Is it a really small pot lid or a fancy top for the ketchup? I found it a few years ago in a TOC dump and never found out what it was for. Thanks again....DD