Connecting to Samsung TV via HDMI

Hi,

I have connected my Macbook Mini (latest gen) to my Samsung 55 inch TV via HDMI, using it as a HTPC. My question is, what display color profile should I choose to get a reference picture output to my TV? Is the HD-709 profile the best one to use? It also gives me the option of a Denon AVR -receiver profile (since that is what I have it connected to). I have calibrated my TV, so in order to make use of those calibrated settings, the output from the Mac Mini should be at reference level.

Thanks.