At this point, the big green label says 520, but doesn't say whether
it's a 9405-520 or a 9406-520.
The little labels with the serial numbers call it an 8203-E4A.
It was not shipped with an HMC. I'm told that it's not LPAR'd.