I would abbreviate "FiveThirtyEight" as just 538. It's far clearer.