Money for trinkets for an 11.5 year-old?

We are going for a cruise for 1 week to Alaska and staying in Alaska for 2 weeks, a total of 3 weeks. He has $58 cash, but his allowance is $10.5 a month. He is usually a saver; and has donated $100s of his saving for his retirement. How much money do you think he should take?