I might just get my electrician to take a look whether he has any ideas too.
I was wondering if some readily available gadget, like a laptop power brick but just connect between the AVR power cord and the mains power socket, no AC-to-DC conversion, might be feasible.
