Thanx guys, but nothing I could do would make things work for saving a realplayer file. I tried a bunch of other things too. Well, it just did not matter considering the free RealPlayer 11 basic allows you to save and burn video CDs of content.
Me and my work(-for-nothing)-arounds.