Are they one and the same? My collection is modest and for me it’s my recently acquired 5513. I bought it from the original owner who is a friend and colleague. I told him that I will keep it for the rest of my life. How about you?