Thanks for posting, it reminds me I should do mine again. Oil is cheap compared to a pump and cylinders.
I made a video the last time I changed the fluid in my 4200. Gonna do it the same way, went well last time. And the leak on the bucket cylinder was the fitting, not the rod seal
http://youtu.be/0PoraystMpo