My boxes of these are currently not on top or easily accessible. I don't remember doing an 11-card update on these, and certainly not in the Platinum set, but that doesn't mean we didn't - this was 34 years ago and my memory isn't as good as it used to be. I'm in the process of getting some stuff cleaned up in my area (especially now that the college stuff is back at college and not in my area). I hope to get to the Star MiLB stuff soon.
-- Dan --
Note: Please see my profile for more info regarding trading (section updated 10/25/2023). I have added a large portion of my inventory to the site, and currently have trading turned off (details are in my profile). I have (finally) unearthed my 2 very large boxes of Star Company minor league sets and they are available (email for details).