Thank you. I spoke to Autoclass and they were very precise about replacing the steering lock and a price and knew they needed the car to be running when they got it. I went back to the main dealer and without prompting they had changed their view from the switch to steering lock, so some confirmation there. Their total price including diagnostics bill if I removed the car, which was probably questionable in the circumstances, but not applicable if they did the repair, was not out of sight so I have stayed with them, also of course more conveniently. Hopefully others may find this little history interesting.