> But Pluto was cooked when we figured out it’s not really heavier than Ceres.

You mean Eris? Pluto is ~10 times the mass of Ceres.