Last time I was there (which was admittedly like six years ago) the person I was visiting said they got some stipend to be used at the cafeteria. Entirely possible I've misremembered.