Did intra-Hawaii redemptions on Hawaiian used to be 5k or did I remember incorrectly? If it was, perhaps it changed sometime in the recent past? I looked at a variety of random dates over the next few months and they all came in at 12.5k. Maybe HA isn't making anymore saver space available?

(Wasn't entirely sure which thread to put this in but this seemed ok)