Yes they are tin plated to avoid galvanic corrosion with copper. That was why he says you are better off using the anti oxidant on copper wire.
As long as the plating is solid, no problem but if you scratch up the lug installing the conductor, you might actually get more corrosion with the copper.
