I've been meaning to investigate if the auto power off on no signal of the TV can trigger the CEC to turn off the receiver. That way the auto-off of the PS3 will drop the signal to the TV, and then the TV will tell the receiver to turn off (which is the only thing left running).