We tipped this time because the person who helped us was a teenager, tied up all our lines, and got us our shore power adapter from the office.
Glad to know, though, that we aren't alone in just saying "Thanks!" and not tipping when someone helps with the first line and then we take care of everything else--which is more often than not.