Well, in this case pushing the ISO had no noticeable effect on the high quality of the photos, so I'd say you did it right.
Those of us who recall pushing Fujicolor 800 color neg film 3 or 4 stops to cover indoor basketball in dimly lit gyms think that ISO10000 on a modern camera looks pretty darn great.