If you don't get a good answer here you could post this at the Industry - Colt forum where all the Colt guys hang out.
I'm not too familiar with 9mm models but you could unscrew the pivot pin and look what is the size of it.
Should be .250" DIA for small Mil-Spec size pins, if it is larger than this there are conversion pins available from CDNN or even specializedarmament.com (higher cost).
If it is a small pin, look at the right side of the pivot hole in the lower receiver and see if there is a small hole for the push pivot pin detent.
If you have this small hole for the pivot pin detent, you could buy the push pin, detent pin and detent spring and you could convert it if you want to.
No pin detent hole, it can be converted if you wish by ADCO, they also provide and install the push pivot pin set.