Depends. If you absolutely must have a NOS Trek in the box, there probably aren't too many available.
But you have to consider what an '80 412 is worth. Even in cherry condition, $375-400 is pushing it. So is $750 reasonable? I don't know, you tell me.