I don't know the exact numbers, but i suspect (FFMPEG/libavcodec) developers majority is from Europe and, on that region, PS3 isn't shipped yet.
There's at least one Italian developer that has recently gained physical access to a Japanese PS3, as you can read in his blog (
http://planet.gentoo.org/developers/...ps3_other_news ). I would not hold my breath, but seems there are people interested in this...