Thank you, Dave. Here, the word 'pantry' tends to be used for a larger, walk-in, larder. Also, for no reason I can make out, for the private room in a big house in which the butler could relax, or carry out his duties such as cleaning the family silver ['butler's pantry'].