Best Central Park, New York City restaurants? What do the locals think are the best in the neighborhood?

There's only a couple of restaurants in Central Park, so I'll name those: Tavern on the Green and The Boathouse. I actually really like the Boathouse even though it's touristy and a little stuffy. 21 Club is on the south end of the park and that place is cool. There are also a ton of really famous restaurants in Columbus Circle right off the park: Masa, Per Se, etc.