Rick from planetary is pretty accessible, both here on pinside and on the phone. Why not just call him or message him directly and ask?
Then you can post the answer for us.
Great to see you're enjoying Pinside! Did you know Pinside is able to run thanks to donations from our visitors? Please donate to Pinside, support the site and get anext to your username to show for it! Donate to Pinside