the other prominent member of staff was a young boy called john sauce ; his obvious nickname became , 'ketchup , ' a name that he probably had been called since he was at school and would have for the rest of his life .