我的华硕笔记本hdmi接口坏了，在保修期内，维修需要多少钱。