I just bought a used mk3, and it has one of the aftermarket bolt stop pins that you can remove with an allen wrench. I never cared much for that idea, but I must admit it sure simplifies takedown. Remove the pin, remove the bolt, clean the gun, replace the bolt and pin and you're done.