I've had 3 Gen 1's and 1 Gen 2.
If you asked me which one I liked the most, it's the Gen 2, even comparing it to the Roush supercharged Gen 1 I had.
Before I bought the Gen 2, I was still looking for the "right" Gen 1 as well but ultimately wanted to try out the newer platform.
I bought a 2017 Gen 2 with 52k miles on the ODO and will hit 60k this weekend. Had one issue fixed under warranty(water pump) and outside of that it's been a great truck. Checked the Oasis report and it's still on the original oil pan and phasers
Finding a 2013 with 33k miles is pretty damn rare. And at 40k that's a good price imo.
How are the records on the 2017? At a ford dealer if you wanted to throw on an ESP?
I wouldn't be too worried about 84k miles on a Gen 2, as long as there's some type of proof the oil and maintenance was done in reasonable time frames.