I have run across 9-pin miniature tubes that have a stop-sign logo on them, but they may not be RCA. Was there a Japanese company that used the stop-sign? This particular example is a 12AX7A with Curtis Mathis and Japan on the tube. It has the stop-sign, but it doesn’t look exactly like an RCA logo. Did RCA manufacture in Japan, or use a Japanese supplier? Mark