i would just keep his bedtime at 9.30 for now and see what happens in a couple of weeks. But my DD is a sht sleeper so probably ignore any advice i give