I believe its best to go with an 8500le 128MB. you can either OC it to retail level, OR flash it and it is a retail 8500... same card just locked diff.
the 9000 pro is crippled I hear. it offers dx 9 compatibility but by the time you will NEED that, it would be time to upgrade anyway.