That's what I figured. I did a pretty thorough seach myself before I asked the question here.
Thanks for looking for it.
Every once in a while, I hear from somebody who actually worked with some of these
custom part numbers, so I thought it was worth a try.
If I was lucky enough to find somebody who recognized them as a part they've worked
with in the past, I would have been pretty happy.