It sounds like a decent deal, it also sounds like it will cost a few $1000 more to get it sorted out. If it was me, I would probably grab it, knowing that for a total cost of $5-6K I would end up with a pretty nice driver.