I would get an external supply, run that in the receiver and place some nice caps where the old power supply used to be. That should do. If you want to go fancy, add a regulator such as 78xx, just get a power supply that has more than 15V.