This is why you use the # key.

RD01#D05P8888E

Redial
Dial # send

D05 Pause then dial 8888

I think though you are right about the pause in that case, D07W028888

Wait 2 seconds WXX

E end dial treatment. The @ may indeed still work that way even if not listed as a holdover.