The dots on the Westinghouse is a positive indicator that this tube was manufactured by GE. The made-in-Japan GE was certainly not made by GE. And I suspect that #4 was not manufactured by GE either. My GE has ribbed plates, like your Westinghouse. The smooth plates on #4 suggest RCA.
Thanks for the info!