Not bad, from what I remember.
But really, independent of the price of the meal I generally tip about 15 bucks, less if the service is poor or the server pisses me off somehow, more if the service is above average or the server entertains some special request of mine or my company, like if we ask to change tables after being seated, or if we ask for something that is not on the menu and they make it for us.