I hesitate to post, but I want to clarify some things here.
I am actually a server at a WDW owned signature restaurant. You all seem to have a lot of misconceptions about our jobs, so I want to clear things up.
As far as I know, at all WDW owned restaurants, servers do get thier 18% gratuity.
I think you should tip extra? It's up to you. I just want your decision to be an informed one.
Have a magical day!