Yes the gratuities will be distributed per policy. We personally would never remove the automatic gratuity as it goes to many other staff members. However we certainly give the WJ staff as we often sit in the same area of the WJ and get to know the servers on those nights and tip those that have served us throughout the cruise on the last night. One person that many forget about is that friendly
"washy washy" greeter as you enter the WJ.
Hope this helps but bottom line is to do what best suits your onboard experience.
Happy 4th of July and happy, healthy and safe travels to you. !!!