I hate typing on my iPhone.
I need to look at how many points RCI's high roller loyalty members like 'Super Mario' have. I think he had something like 350 cruise credits. Maybe it was a little less. I met him on the Oasis in 2009.