Bueno, pues he conseguido conocer los headers siguiendo de ejemplo el codigo que me pusistes con algunas modificaciones, por aqui el codigo:
Código PHP:
$domain = parent::$BMUrl;
$curl=curl_init();
curl_setopt($curl,CURLOPT_URL,$domain);
curl_setopt($curl,CURLOPT_PORT, 80);
curl_setopt($curl,CURLOPT_TRANSFER, true);
curl_setopt($curl,CURLOPT_NOBODY,true);
curl_exec($curl);
$headers=curl_getinfo($curl);
getinfo te devuelve un array ya solo es coger el indice de dicho array que necesites.
Lo pego para quien necesite conocer los headers de los servidores.
Gracias y un saludo =D.