I found that the core charge is right around $66 each on those. So you should be able to get around $100 for them if the buyer would use them as a core turn in. If the buyer was going to use them as is you should be able to get around $160 or so.
Yes you have the correct ones. I need them but dont have the money right now or i would buy them.