Got my receiver back; $75 for the repair and working nicely.