You certainly came out on the right end of that trade. You have some pretty good cards there. Ultimately, it depends how much time you want to invest with selling them. Less time, less money. More time, more money. That's generally how it works. There are many options as others have mentioned. You'll make more breaking them into lots or individually yourself, but that's time. Of course many here would love to see them in the B/S/T, just sayin'.