Hi Rikk
Buddy dont waste time in finding keys from different sites and enter in receiver from remote control.Just buy a RS232C cable and download Downloader software and some other utilities to complete the job.
You can download all utilities from
http://brain.com.pk/~sajid/sat/
Till now most of the Hotbird channels you mention are working.If any of em doesnt work dont worry and wait only for few day and you'll get new S/W for your receiver from
http://www.starsw.com