Not sure, but I can look up those names on my super secret old set of CDROMS that has all sorts of the old tools on them.

It'll take a bit to get through all 8 cd's searching but it MIGHT be on there.

Wish some luck,