>>420
PCのHDMIから出てる信号の質によるかな
試しに同じ音声ファイルを

　1) PCのHDMIから出力
　2) USBメモリにコピーして、AVアンプのUSB端子に挿して再生
　3) CD-Rに焼いて、AVアンプにアナログ接続したプレイヤーで再生

の3種で再生してみて、音質に差が無いようなら今のままのHDMIでいいと思う
2)か3)の方が明確に優れているようなら、DACを導入する余地はある

3万なら、いわゆる中華DACでも割といいのが選べると思うし
DENONやCambridge Audioあたりを中古で探すのもいいかもしれない