Here they are:
500$ for this baby without box and manual?Too much....
590 for the bare one...mmm...ok...
1200 for DevBox+Writer?Much...800-900 would be ok....
But the problem with these things,as the owners are lame,is that you do not know if they really work and what version they really are,pre Set5.24 kits are known to have problems and will not operate with the latest tools...You should ask the seller what the serial number at the bottom of the devbox says...if it begins like s524...then you are ok,it is the latest set:)
If anyone gets one and has any technical questions feel free to ask me anything:)And remember,never pull out a video/audio cord while it is working...it is very possible the video chip will blow up,that's what happened to me a while back:(fixed it though:)