It did worked but unfortunately did not end well because the unit is 4000 series.
Can you tell us more about how far you got and what didn't work?
I think you can get it working by some variation of the following:
1. create a usb disk which will boot the proper kernel+initrd for this device
2. boot it up into em mode
3. enable debug mode and run tsupdater.exe
4. check the boxes to repartition/reformat (will erase any data on the device) and install
it sounds like you already got past step 2 with that ts5k recovery disk.