What do you do with points earned in Royal Caribbean's Casino?

Let's say you're racking up the points on Royal Caribbean trying to get a cruise certificate (Inside cabin= 2400 pts.) Not only do points earn you a cruise certificate, but they can do even more! There are 2 options: 

You can either download them for credits on a slot machine, or you can see the casino host before the end of the cruise, and when they run the report on the last day, they will apply those points towards your folio. The value of the points is 2 cents per point when it comes to comp or slot dollars.