Finally got around to putting the replacement fan into the powersupply
in wyvern. Unfortunately it doesn't seem to work, so maybe the
temperature sensor has burnt out. At least, after putting the new fan
in and connecting it up, it didn't come on at all for the rest of the
day.