Thanks. That does help. Based on that, I hope the problems were just the failed solenoid and dirty fluid. (The previous owner was following the owner's manual recommended 30k change intervals, and it was just about time for another of those, so the fluid was very dark.)
The magnet wasn't...