That's worth checking out if someone is looking to buy. With a good looking frame I'd say he's priced about average. I'd try for $8,500 - $9,000 myself.
Also, it's sales like this that keep me thinking there will be a gen 1 Tundra quad cab limited with low miles and in good shape once I'm ready to make the leap away from my Runner.