earning 9K a year less in higher education than she would have done if she'd stayed in teaching.

Is that really true? What's top of the standard scale for teachers these days? I tend to think that top of the standard lecturer salary is about 35-40K, though in practice lots of people will be senior lecturers/readers/professors.