I don't know WDW Big Thunder Mt. is very good and yes I have been on the DL version also. Also it kind a hard to put Space Mt at WDW with other 3 clones. The Magic Kingdom and DLP have different versions of the ride.
As is the case with the Jungle Cruise in HKDL and the Haunted Mansion in DLP, but in essense, they are the same ride. Right?