"there was a set made by Chipco that sold on ebay a while back"
All their chips were chipco.
I had the ebay URL but its dead now. Looks like the auction was ended early as it was only 69 days ago.
I could have phoned chipco myself but if Mark Lighterman says they were intended for one of the ships then they were.