Help required installing CISCO 801 ISDN router MIBS

[gcooper]

I am running HP TopTools network management software and want ot install the MIBs for my Cisco 801 IDSN router.
The problem is that the MIBs on the Cisco web site have a .my extension - I expected them to have the .mib extension.

Can I just rename them and compile them?

Thanks,

Gary cooper