Any older Thinkpad that's about 5-7 years old on eBay. You can get units that were high end when they came out (normal speed now) for $200-300 all day.

I know specifically the P50's have a thunderbolt port and you can get them with an i7 for around $250.