JavaScript in Dashboard for HTML5 Player


I am adding a separate little support section in the admin area, which I've done by creating a plugin (not from scratch, but simply modifying example code from the Codex). I'll be happy to share that quick-and-dirty plugin if anyone would find it helpful. (I love the Support System plugin here, but in this case we need to link to an external helpdesk for a few reasons.)

On one of those pages, I want to include some videos that we host on our CDN. And I want to use HTML5. So I need to include the JavaScript for the player. Is there a "proper" way to add the JS I need to the admin area?