That's great news, LiamLiam.
Basically, a lot of these Chinese players come with completely inappropriate software which bears no relevance to the actual unit itself!

Be happy though

- you have one of the best 'cheap' players - i.e. a Rockchip player. The tools you were trying are for the AMV format players, which are basically old technology now.
The Rockchip 'solution' as it is often referred to, offers excellent sound quality with great xvid (.avi) movie playing capabilities. To my knowledge, most if not all Rockchip units have TFT LCDs and so 'ghosting' of fast moving images is all but extinct.
Rockchip players are much more stable, and user friendly - and as you have found out, you can format the player in Windows without destroying the Firmware...
...on the subject of firmware, please don't try and upgrade yours! One of Rockchips (few) failings is that the Firmware is specific to a player, and with 99% certainty, won’t work correctly on other players. Even if you think you found the same version online somewhere ( e.g. 00.00.0017), the chances are, it won’t work.
You might want to get experimental later on when you’re bored with your player, but until there is a way of backing up your players own firmware, I believe it’s not worth messing around with (others may argue to the contrary!). Some Rockchip players like the more expensive ones from Teclast have regular firmware updates from the manufacturer, but in general the cheaper ones don’t (that’s possibly why they only cost $50~$60!).
When you decide to start making your own movies, check back to this forum on use with AviConverter and Xilisoft’s DVDtoMP4. A few things to remember:
The Rockchip player needs it’s Movie Audio to be converted as MP2 – not MP3.
The screensize of your player is 320x240. I have found 20FPS works, with the audio encoded at 44100.