I don't think they were thinking along those lines, at least I hope not. What some folks do not know is that onboard credits are actually nothing more than giving you money. They are usually given by TA's or the cruiseline instead of a cash discount or something and not as any sort of gift.
Jim