The cafeteria in K building opened in 1972 and was called "The Pipe" because of the brightly coloured air ducts suspended from the ceiling throughout the space