What is the default ntp server for iPads?

[Red Storm]

Is it time.apple.com?

Edit: Never mind, found my answer. Yes, it is time.apple.com (or time.asia.apple.com / time.europe.apple.com). It's hard coded, can't be changed apparently. Time for some internal DNS changes to get around that though.