Searching for a Tennelec TC-555P

I'm looking for this particular model of counter/timer. If anyone has one I could buy or knows where I could buy one, I'd be very grateful. I also need a manual for one if anyone has that too. Specifically I have one, but I need to replace the nixie tube display on it, so if anyone has nixie tubes that will work in it, I'd take those too.