Need to dial 9 plus any 8 digits for local calls.
9.XXXXXXXX for local
Brandon is correct. Nowhere in the world local calls are 00xxxx.
Can the second digit of a local call also be 0? If not narrow the local pattern down such as 9.X[2-9]XXXXXX. Do the calls go out different ports or the same? If the same, you could have 9.00!# to allow both types of calls and allow users to end the interdigit timer with #.
Hope this helps.