Yesterday I noticed that only at 20 tokens he would sell him, today I got a message that he sold me the player for 6 tokens. And it is a very fast trainer woohoo.