I am a fan of both Star Wars and AC/DC as properties and as pinball machines. For me, the choice is super easy: Star Wars all day long.
It’s really a personal choice. If you feel like you are not finished with Luci and keep hitting the start button every time you get in the game room, don’t sell it. If you are ready for something different, Star Wars is a great game.
I have sold some great pinball machines, but with very few exceptions I sold them because I was ready for something different.