What is the highest score on space cadet pinball

The Highest Space Cadet Pinball Record was 405,752,755. That was scored by Malachi Barlow.

I did better: my record is 491,713,500, doing 4 maelstrom mission.