They are also all on Demonoid, and there are versions even on TPB and KAT. For instance I see MKV release v2.5 for the first one on TPB (that's the current version FYI), as well as various encodes of ESB and ROTJ as well (I'm not sure if any of the others there are the official encodes). There is the current versions of ESB (2.0) and ROTJ (1.0) on KAT in AVCHD format.
The least you could have done is searched other trackers before starting a thread.