The waiter in the pic is a season ticket holder in the East Stand, so he told me!
Having been to all the Spanish restaurants mentioned above, Casa Don Carlos is by far the best IMHO... hence you often have to book a couple of weeks in advance to get a table. The service is fantastic.
All, and...