Be sure you get a replacement pulley with the standard float. There were a lot of aftermarket pulleys in the past (Bullseye was one make) that were fixed and setting up index shifting with them was very tricky as the alignment had to be perfect.
Any model Shimano top pulley with the same number of teeth should be just fine.