Go for 5800XM. See if the older stock is still available with TV Out, stand, pouch, etc which are missing in newer stock and see if it comes to you at 13.5K.
IF YES, BUY IT.
IF NO, wait till 5530XM releases. It could also come at 10K, given that compared to 5800XM it has a smaller screen, lacks physical buttons, lacks GPS and lacks 3G. If instead it comes at the current expected price of 13K, just grab a 5800XM.