Totally a seller's market for the TRD Pro 4Runners/Tacos/Tundras these days, so a $5k markup is about normal. I'd personally eyeball, sit in, test drive, etc both the GX and 4R before making a decision, as either will do exactly what you're looking for. The markup from MSRP washes away a lot of the strong-resale benefit of the 4Runner, so ultimately I'd just pick the one of those two you like more.