I plan to do some reshuffling with my setup, so if anyone is interested:
ETYs: I am the 2nd owner, but the headphones themself are in great condition. I do have 4 pairs of green filters, but no tips of any kind (other than a heavily used silicon), and no 1/4" adapter. It does come with box, paper work, etc.
The Prota Corda is almost new, with everything except the 120ohm adapter which I decided to keep.
Asking $180 for the ETYs and $95 for the Porta Corda or $260 for both. Prices are firm for now as I really don't have the money to waste.