Up for sale is a pair of JVC HAS900 in great condition. They are good closed portables, I just prefer having an open headphone.
Looking for $35 shipped in the US, or a trade for a pair of portapros. They come with a slim case.
Amazon link below
Thanks, PM me with any questions.