lebellium, I want you to know I have been following your postings. I don't know how you do it but you always provide "insiders" info no one seems to have! I do thank you for this.
As you have predicted, Samsung did not release Galaxy Player in WMC2013 and I also thought Samsung has killed Galaxy Player line. So I went out and purchased unused YP-GP1E from the ebay.
I want to let everyone know Galaxy Player 5.8 is exactly what I have been looking for. Something bigger than 4 inch yet smaller than 7. This is perfect as it's big enough for me to watch movies yet it fits in my pocket. Galaxy Player 5.8 is worth every penny. Only remorse is I wished I've gotten it sooner.