I had a pro for 4 months. Bought it off route, cleaned it up and repaired some minor problems. Liked it so much, that when a local LE became available, I sold the pro at no loss and bought the LE. I've had the LE for for about 6 months now.
For original run I like the LE artwork and translite much better than the premium. I actually like the pro art second. LE has the cool side rails too. I do like the movie art better than the comic art, but that is of course subjective.
The Death Star shot on the premium/LE is much harder. With ramp up, I cannot backhand the DS unless the ball is traveling toward the left flipper and I hit it just right. I know others say they can backhand it, so it is possible to set up that way. Even on the right flipper, the margin of error is much smaller on the premium/LE - it will brick a lot.
The victory 6-ball multiball after winning a planet mini-wizard mode is insane. There are so many paths to choose. It's brutal, frustrating, fun, and invigorating. I made it to the emperor twice, and somehow (ie, luckily) defeated him once.
Maybe used prices are more in your location, OP, but even on the west coast of US (where prices are a little higher than the midwest and east), I see HUO premium and LEs for less than your poll prices. I voted Star Wars Premium HUO ~7k, because the HUO LE price you suggested is probably too much of a premium. If you can get an LE for less, then it might be better IMO.