Fall of Thassilon(spoilers)

[Ven]

I ended my last session in a dungeon i randomly generated as a way for my players to aquire the material component so the restoration spell (they died fighting xenesha and need to recover negative levels). The end boss was in a room with a dome ceiling and old constalations painted on it. One of my players expressed an interest in figuring out what the ruin's use was before it was abandoned.

I was thinking of adding a magic crystal that, when activated, would reveal a 3d lightshow of the stars around Galarion and a tracking for the path of a large object heading towards the planet. The image would show a plains area and a craggy mountinous region, and then the stone would strike and they will see a rifts shoot out across the terrain, part of the plains would sink down and the mountains would sink so far down the ocean would be let in. The end would have the image resemble the cinderlands, lower varisia, and the gulf, though i wouldnt come out and say it.

Question: is this information revealed later in ROTRL? Am I giving spoilers away too early? (Starting hook mountain next session)

Typed on my phone, there may be errors.

[Old Drake]

No. The details are known or at least guessed at by the few people that care about what happened so many thousand years ago. With appropriate knowledge checks the players should even figure out that the asteroid is the Starstone and now rests in Absalom. Of course that knowledge is far more common among PF players than among the people living on Galarion, but it's not quite secret history.

[Ven]

Nice, thank you.