Prior to this week, the name Sandy, to theatre types, meant the perky heroine of Grease. Or perhaps the dog in Annie (currently being revived on Broadway).