A friend, Pete Hall, put me in touch with CVSGrab today. If ever you're stuck behind a firewall and find it hard to do a cvs checkout, its worth a try.
3:57:24 PM comment 
Radio and the rich text editting widget in IE might be the reason that I switch back to IE from Mozilla. Shame! I'd gotten quite attached to Mozilla. Lets hope Radio gets a rich text editting widget for Mozilla soon.