We were just told by the Vacation Planning Desk on our last cruise that you can turn On Board Credit (we had got extra due to air conditioning issues) into Disney Gift Cards and can use those to book your next cruise. Of course they told us this AFTER we had already spent our on board credit, but thought it might be a good tip for others.