I filled a customer service web form on the TK web site. I then e-mailed the local CTO with the details, and included the web form reference number. At first they replied with a form letter, but I insisted that they escalate it and they did. I got an e-mail this morning from the local marketing person, who told me she contacted Istanbul about it, and within three hours I got an e-mail from the Istanbul customer service office telling me that the miles were re-credited. And they were.

All in all, a very satisfactory (if not straight-forward) solution.

Shuly