is this really a counter service restaurant on the dining plan? it seems quite expensive. Anyone eaten there recently? i seem to remember there was some weird thing with a tip there? thanks