I don't (photo is not mine). Just wondering if anyone here does:

the top one is a jvc rc 575
the other one goes by several brands such as
sankei
trident
and a few other aka's.

the bottom one was under the brand Toshiba as well

Thanks. The top one did turn out to be a JVC RC-575 (actually, an RC-575W, if that makes any difference); and the bottom big one turned out to be a Kings Point PS-410 (thanks to the responses here, I know now was released under a few other brands).

Question on the RC-575W: is the tuning display supposed to be lighted? (the one I just got is not)