AichEss, yes, they are A2S4000 models. Serial number on the "older one" is D440DH6, and the serial number with the RocketChip is D490TLC or about 50000 away from the other.

Both do turn one though I only have one Apple IIc Power Brick.