I also have a 2008 with 262k miles, minus the checkered engine history, so I've had what-if kind of thoughts about this before.
Assuming you don't really need the truck because you have bought a replacement, I'd do the cheapest reasonable quality repair, which would be a head gasket job. Do...