Работа с XML-файлом и PHP

в настоящее время пытается проанализировать этот файл: https://linux.gamesrepublic.com/xml/catalog?currency=usd&count=all&mode=OnlyPromotions

В настоящее время я делаю это так:

$xml = simplexml_load_string(file_get_contents($url));

foreach ($xml->group->o as $game)
{

Это правильно получает массив информации в $ game, но моя проблема заключается в том, как получить доступ к тегам "платформы" внутри тега "platform", который также находится в теге "attrs" (так много уровней!).

Как я могу получить доступ к этому? Я так думал, чтобы проверить, является ли Linux платформой:

if (in_array('Linux', $game->attrs->platforms->platform))
{
    echo 'Linux: Yes';
}

Это просто не так, как кажется.