I don't like the way he's working on that float pin at around the 20 min. mark. You can easily mar the pin with pliers, like he's doing. Or, peen over one end by beating on it with whatever is handy, like he's doing. Or, worst of all, break off the stand that the pin goes through.
I have a long, thin punch that's the same size as the pin. That and a few LIGHT taps with a small hammer will get it right out if it's tight.