Check out this thread:
http://http://www.toyota-4runner.org/5th-gen-t4rs/154274-how-much-people-paying-new-4runner.html
Then weigh your options. You're basically paying new car pricing for used 4runners.. and ask yourself WHY someone modded a brand new truck and then traded it. For me, it was better for my personal peace of mind to buy a brand new one that I knew only I had touched and done right than it was to buy a used one with unknown history. For reference, I bought my TRD ORP brand new for $36,500 (before taxes) out the door.
If you could get either of those trucks for a better than new price, I would say absolutely go for it, but at this point you gain nothing buying used, except some aftermarket parts you don't know the history or install of.
You also never mentioned colors! Both colors you'd be happy with?
When the dust had settled, I realized I was VERY thankful I'd bought the TRD Offroad over a Trail. It's silly, because its some badging and stitching.. but for some reason the NAME meant something to me, even though I thought it wouldn't.