I was of the understanding that the C65 was going to be released as the C64DX / DX64 , because C= had spare D64DX labels from the SX64/DX64 era that were never used. But I have no hard evidence to back that up. Some of the C= folks are still around and could probably be asked about this point. In any case, we don't have permission to use the C= trademarks, so we won't be putting any Commodore label on them. You are welcome to try to get the trademark owners to talk to us about licensing, however. We haven't had any real luck on this front so far.