Can you not just put a couple of commas between where the number ends and the extension?

If it dials the same way modems (TAPI standard?) do, a comma in a dial string is a 2 second pause