How much TheC64 Mini is and is worth in CEX