1280x544? It was cropped to 542 to fit with your other footage.
By the way, to those talking about the HDTV version, here's a big reason why the blu-ray is a better source. Same shot from both, with increased gamma to reveal shadow details and compression artefacts, blu-ray on bottom:
