Where abouts are you, what options are you wanting and what price range are you looking at?
I’ve got one that I bought to use at a previous job. I’m about to move house and that involves setting up the bench in the new workshop and wiring things in a more permanent fashion that they are in our current rental, but the 9478 hasn’t been connected in the few years we’ve been in this house.
While I’m wanting to get distributed frequency references setup again at home and while setting up the new bench would be the perfect time to do so, I don’t think I need it for the work I do these days.
From memory one has a few outputs at each 10MHz, 5MHz and 1MHz. There was instructions how to change the output frequency for each output, but I never got that far. I vaguely remember 04a as a option, but I’d need to dig it out to check the back tag.