RIP Major-General Sandy Thomas