I think it all depends on why you want that domain in the first place. Personaly, if I could afford it, I would probably not hesitate to spend several thousand dollars on a domain that has traffic, if only as an investment in my permanent income over a longer period of time. The way I see it, simply having money sitting in your account and not making more money is a waste, hence why investing into a traffic domain that would earn reasonable parking revenues might be worth it.
However, if you intend to use this domain for a personal project, then you might be better off registering a name of your own. So long as you haven't publicised your project yet, you are free to change its name to suit the name of the domain that you are registering. Besides, since you will probably be promoting your project in the long run, existing traffic should not be a major consideration, I think.
Sincerely,
George