I've noticed this problem as well, and fought it for a while.
The only solution that seems to work is to use Crossover Plugin (www.codeweavers.com
) to run the win32 version of the player.
It's $30, which is kind of a lot for just flash, but if your a hardcore H*R fan it may be worth it.
It also runs an old version of windows media player and quicktime, which may be nice for you. I bought it originally to do this, before there was the mplayer plugin.
It's quite a memory hog and takes a while to start up. It looks like there's a trial version, which, IIRC, is horrendous nagware, but you should be able to get a feel for whether it will do the job.
It's a frustrating problem since it would probably not be too hard to get it fixed if someone had the source.