No. Mice are universal, especially USB powered mice. Now certain features may have specific Compaq driver's associated with that specific computer. But other than that, if it's a basic mouse, it should be plug and play.
Typically only internal components are proprietary. External components, like mice, are able to be used on many systems. It's either PS/2 or USB and just will need the proper drivers.