Well, I've never seen (or even heard of) such a thing. But, my very first guitar was a Teisco del Rey. (An incredibly horrendous instrument, by the way.)
What time frame are we talking about for that gizmo? The mid-60's? I'll bet it looks pretty funky.