Hello,
I do not know if you can still find these parts new anywhere.
I'll check my stash as I do have some 7200 bits around. (Well I for sure have a 7242B with one good channel, not sure if it should be parted out yet or sold as-is.)
Try the LeCroy yahoo group there maybe people there who know better for parts sources.