I'm in the market for an upgrade pretty soon and I'm looking at the K750 or W800 (If I can wait that bit longer) but can either of these play the atrac3plus music file? As I'm also looking to get a network walkman and would like to keep all music in one format.