Surely not. No idea what is going wrong.
I have uploaded a coleco firmware some time ago.
viewtopic.php?p=13851#p13851From a friends cartridge
I can do my 5200, but that is old (many years) already.
You can phone or contact steve, or drop a message on facebook.
I only check the other forums for updates and mainly manage the MyIDE section.