Rather depends on licence fees (per unit, and up-front to get a suitable decoder for ARM); these look like they may be steep, so I'd say the chances were very slim.

Just use high bit rate MP3s?

Hugo