> effectively $20/$200 in credits for codex

So, 1.3ish million tokens for Codex? Following the token limit from here https://openai.com/api/pricing/