I don't have the time to check this myself, but is core lava still removable as it was in koala, or does it function like the ocean now and the background will always fill it endlessly? I loved taking out the lava and even removed an entire planet's worth in koala.