About 25% of Debian users who submit to the Debian Popularity Contest have VLC installed on their computer : http://qa.debian.org/popcon-graph.php?packages=vlc&show_... - that includes servers, so the actual proportion of Debian desktop users with VLC is much higher.