Fun definitely outweighs theme. Machines like DM, TS, JM are worth owning because they're fun, even though they have pretty bad themes. I mentioned these because they are cheap..
You're talking about a 7500 machine...
when you get into that ball park I would say that you had better at least be able to tolerate the theme.