Hi Dave
Some of your numbers look a little incorrect. The winding to 5Y4 pin 8 and pin 7 should be 5 volts AC
also the other filament winding should be 6.3 volts ac at several amps. Do have dimensions for the transformer in question, like how its mounted to the chassis and its length, width and height? A picture might help as well if you can provide one.
I'm in Ontario and have several transformers like you need if that works for you
John