jerkiness on startup: mystery solved
- It was the speed sensor all along. It's just that when they replaced
it the wire of the new one was touching the disk and so quickly wore
through, so that one didn't work either. Now it works fine.
Sometimes the problem was, after all, in the first place you looked.