I've heard GenAI.mil still has Gemini 2.5 only.
Wouldn't surprise me. The best model you can get on AWS GovCloud is still Claude Sonnet 4.5.