No prob. I wanted to upload the 4K, but somehow doesn't go. Either my Level is too little or because no java, flash or so is running:) No matter, its offtopic..
The 8k dump (8192 Bytes = $1FFF) on Pastebin is 100% okay. The MD5 checksum after convert hex -> bin is: ba55e2ecf9986fb9ebff737b492670b1 like the checksum of MrFish. Split the 8k into two identical 4k, only one is needed. 4k ROM MD5 is: 24208f781395599bb7f2318492437b76. Work fine.
Yeah, split it in two parts. Only the first 4K are used e.g. for the Mega Speedy. The other part is exactly (md5) the same.
I also think that they wanted to jump on the train, so maybe Happy had taken it as a model. Who knows...