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
2009 - Enchantment of the Seas
2010 - Freedom of the Seas