Letter: How grease guns kept the Victoria Line running