Mini Dolby ..

I have my mini hooked up to a sony receiver via HDMI cable..

I have my mini set to DOLBY..

there SHOULD be NO tivo sound effects

But I am getting them

Is my box putting out DOLBY STEREO..

any thoughts..???