Whilst in Berlin recently I stopped by the Sony Store where they had some VERY VERY nice $500 Euro headphones, attached to an HD Music Player. 

On that player, were some Michael Jackson songs, and I think they are some form of special HD or remastered version, including Billie Jean, Bad, The girl is mine, but I can't find

a remastered album or HD version of an album containing the songs. 

Did his music get remastered recently or is it likely this is a special Sony version (I think they own his music rights) that you can't buy retail?