Last night I emailed Samsung and requested the discrete codes for my tv, and this was their response.

“No can do, in this instance, unfortunately, as korea HQ considers this information proprietary, and therefor does not supply it, even internally to other subsidiaries, inclusive of Samsung Australia.”

So they are gonna make me read the codes from the remote control Luckily some of the codes from 
http://www.remotecentral.com/cgi-bin/files/rcfiles.cgi?area=pronto&db=discrete&br=samsung&dv=hltserieshdtv
actually work.  

So now I just have to filter through what I can and can’t use.