There are currently 278 ironworkers listed on eBay. I you fiddle around you can see the completed listings showing what the various items sold for. I find that helpful in determining fair market value. I have bought lots of things off of eBay and am rarely disappointed.Good luck.
He has a 15k budget, lots fall into that, features is his inquiry