These are part of a dealer’s collection that was purchased years ago.