I did not realize the different software available out on the net for downloading videos from YouTube. Thank you for sharing your links. I have used a nice little piece of software called Tubesock.
TubeSock - Save YouTube videos
It works for both Mac and PC. It integrates with Safari so that you can click a button in safari to download a video you are watching. It adds any additional videos to a que to download if you want to download more then one. The cost is $15 for a single user or $50 for a family pack. I realize it isn't free, but I highly recommend it for the safari integration.
Jeff