Swapping Out A Hot Plug Power Supply In Running Server 432