tvc15.
Kr oil is not a lubricating oil it's a penetrating oil.
I don't know how it works for lifting copper but it's very good for lifting lead after the barrel is clean.
Just swab the bore with Kr and let it set for a while then follow with a dry tight fitting patch, it must be tight!
Repeat that till the lead is out then use a good gun oil to protect the barrel.
Any good penetrating oil will work but I like the Kr it just plain smells best
I don't think I would mix Kr or anything else with any bore cleaner or mix different bore cleaners because of a chemical reaction that might damage the barrel.
Kurt