University of Edinburgh

Hey, any current or past student, do you know about catered accommodation at University of Edinburgh? I have a friends who attended last year as study abroad and said that he was offered 3 meals per day mon through sun. However, on the Edinburgh website it states that catering housing serves only breakfast and dinner. Do you know which is true? If only breakfast and dinner, where are students expected to get lunch? Thanks