Hmm, I have two problems with that statement.
First, it's not clear that Mozilla has enough money pull this off.
Someone should calculate the $/download that they have today. (or is it
downloads per dollar?) And there's the little question of what happens
if they run low on funds: Stop distributing mozilla or rip out the video?
Second, you assume those funds wouldn't do anything useful otherwise. I'd
rather they fund people to hack on mozilla and/or find a replacement for
proprietary formats.