Sería mejor que lo preguntases en el foro Flash .. la parte PHP parece que la tienes más o menos claro .. sólo te faltó generar ese valor de esa variable estilo:
Código PHP:
echo "libre=".$Libre;
para que en tu ActionScript puedas hacer el "LoadVariables" (o como se use ..)
Un saludo,
PD: La parte "ActionScript" mejor acude al foro Flash (si no lo sabes hacer ..)