We have owned (or own) 3 of the four and prices you posted are all in line for those titles. Of the 4 we have not owned Black Knight but I have played it a couple times and it really didn't do anything for me. Jokerz was a machine I thought I was going to love until I owned one then I realized it wasn't a keeper and couldn't sell it fast enough. A word of warning as far as Jokerz goes sound board is an oddity in that machine and often had issues. I have seen that soundboard sold for around $200 in the past.
As far as Space Shuttle & Pin Bot - I love both and would be hard pressed to pick one over the other. I think Pin Bot is a little more fun to play and a little harder but Space Shuttle has such a good look and is a classic & timeless theme.
Depending on what other machines you have and how important the look of a machine is to you I think my first choice would be Space Shuttle, second Pin-Bot, Black Knight third and I personally would take Jokerz off the list completely.