I have had issues with other brands of guns, when purchasing new manufacturer magazines, and wanted to know about Hi-Point. The magazine that came with my 4095ts had a follower that was "orange". I purchased another Hi-Point Magazine and the follower it had was "green". Just wanted to know if this matters, they both are stamped as .40 on the sides and look identical. Any difference in the colors?