Wow 3 great machines you have got listed here. I've never heard of Asteroid Annie it's very cool to look at. The artwork is simply amazing & very pop art if thats the right term.
I hope you don't mind me saying but post as many pictures as you can, I know that when I look on ebay pictures are everything in helping me make a decision on the purchase. Get some with the playfield glass off so that the playfield colours really come thru. Lights and displays on the whole bit. I remember when Wotto sold his Genie quite a few years back he even posted on Youtube and it really showed off the machine.
I hope you get a good price for it as it really is an classic. Good luck.