Foppl's planetarium has "the nine planets and their moons". But it's still only 1922! Pluto wasn't discovered until 1930 (by Clyde Tombaugh, if memory serves), though its existence had been "predicted" beforehand according to my dictionary. Q. Is this one of those notorious Pynchonian "mistakes"?