But that's my point exactly. If those games did use actual astronomical data (and I'm told by foo123456 that Elite: Dangerous actually does) then could those games accomplish Carl Sagan's goal of teaching astronomy in a compelling video game setting?

Those games' established plots are apparently compelling enough, but would they drive learning if their current environments were swapped with something based on reality?