You have to re tin. Tinning is not a one and done. Im tinning my tips regularly through soldering and before I put everything a way I give all my tips a fresh tinning. He was talking about ROHS yes but at 420C+ he should be easily melting ROHS.
His problem is definitely a tip maintenance...