Eurex offers quick-service dining.