New 5* Font

I haven't watched 5* for months, so their rebrand was a surprise to me the other night. All I want to know what font are they using now? It is similar to the new HP corporate font, are they one in the same, or is the HP one based on the off the shelf one used by 5*?

Luz Sans?

Or HPSimplified?

http://theidentgallery.com/fivestar/2013/misc/FIVESTAR-2013-TRAILER-1-8.jpg

Hope this helps

A quick 'What The Font' suggests that it could be Antenna Extra Condensed Black.