Thanks for the info. The exchange rate used in the online calculator (1.5138) is very close to the rate used on the points redemption (1.5089) I applied at check out, so I'll take that as a good guide of what the rate was.
I broke out all charges on my invoice to pull out the taxes and tips, removed retail purchases and tourism fees, and it looks like I was shorted by a bit, but not much. I figure it should be just over 14,100 points (or ~24,800 rewards points) for the 5 nights, and at 13,886 status points given (or 24,439 reward points), that's not far enough off to argue about. Still, it would be nice if there was a section in the points history on the site to see their calculations, to make it easier to verify and keep them honest.