Planetary rotation times