¿Cómo obtener el valor de un atributo de un archivo XML en PHP?

Lo siento si esto parece una pregunta fácil, pero he empezado a quitarle el pelo ...

Tengo un archivo XML que se parece a esto ...

<VAR VarNum="90">
  <option>1</option>
</VAR>

Estoy tratando de obtener elVarNum.

Hasta ahora he tenido éxito usando el siguiente código para obtener la otra información:

$xml=simplexml_load_file($file);
$option=$xml->option;

Simplemente no puedo obtener VarNum (¿el valor del atributo creo?)

¡Gracias!

Respuestas a la pregunta(3)

Su respuesta a la pregunta