That sounds good to me. As you say, this is technically covered by NextCustomer, but the fact that int is a value type makes it less of an issue (think DateTime.Now).