Maybe it's just a simple matter of whoever implemented the snooze functionality picking 9 minutes as the value. The one minute difference between 9 and 10 minutes is probably negligible.