Never heard of shortening a base pin. Your explanation probably nailed it. They certainly would not get any more ejector rod travel since the ejector head stops well before the base pin.
At some point I believe Colt stopped putting the hole in the end of the base pin.
Sweet looking gun BTW.