Hello Ted,
OK, your post is four years old, but perhaps you still need some information.
My HP54510A stopped working suddenly today, because of a power supply failure. It's the reason why I searched informations on Internet and found your post.
The power supply is exactly the same as...