That’s a shame that your copy of Sky Galleons has disappeared. I used my friend’s copy but have moved away from him so I could do with one of my own. I have the reprint of the collected volume of Sky Galleons/Cloudships and Gunboats, but it does not come with the plastic ships which is a shame. I just had a look on BGG and noticed someone had a copy for sale for 35 Euro. I wonder what shipping from Germany would be like, and whether my wife would tell me off too much for buying it.
I’d be interested to hear how Iron Stars plays, if you ever get around to trying it out. I’ve contemplated buying Iron Stars a few times, but have never quite got round to it.
Good luck with your search.