The "thermal grease" packet the X1C comes with... for lead screws?

[fernandoguardado01]

Are you referencing the copper-colored bags that are labeled “lubricant grease”? Just got my printer and guessing these are the ones meant to lube the lead screws