Thanks for that clarification, Lisa.
I also would feel awkward about not giving gratuity envelopes to the crew members at the end of my cruise. Those of us that are seasoned cruisers know that the gratuities are essentially the staff's salaries, as they work hard for very little money, and have little time off.
2007 - Majesty of the Seas (Bahamas)
2009 - Enchantment of the Seas (Western Caribbean)
2010 - Freedom of the Seas (Western Caribbean)
2013 - Golden Princess (Alaska, roundtrip from Seattle)