Power supply repaired, again. Like the previous time, they must have dropped it and the Earth pin broke off. The first pin was plastic, and those seem to readily break off for some... er, users. Fitted a replacement power supply case with a brass Earth pin thinking that would be more difficult to break. Well the pin itself didn't break, but the case all around it did.
Wonder how long the new one will last.