Wino...they were Amperex Holland 7119's. I also have a NOS pair of American made, but they weren't as good.
I did extensive tube rolling with that unit and still have a lot of tubes for it. In the back of my mind, I knew I would own this preamp again some day, so I saved a bunch. I threw in several different pairs of tubes when I sold the unit.
I liked the GE 7044 and the Raytheon (Red) JAN 5687. The Tungsol that everyone seems to like, was one of least favorites.
I also tried the same tube as you have, (5R4GY) based on Dan's recommendation, but didn't like it as much as the Mullard.