Which 2007 4Runner is a better deal?

Hello!

I have been looking at 2 private sale 2007 Toyota 4Runners.

1. Has an extensive list of maintenance done and 184,000 miles at $11,500 (I would have to travel a few hours for this)

2. Has just had head gasket work done and 175,000 miles at $12,900.

Any input would be appreciated. Thank you!