It's pretty simple, arduino provide a digital output
to this chip (binary-decimal decoder). and nixie + resistor + power supply
display a visual performance.
I don't think you have to buy something from russian, but
their stuff could be low in price, they have produced a astonishing quantity of
74141's. during 80's and 90's, (chips o'k after 20 years of storage, warranty more than 25 years,), , with different name, you can read it
http://www.ogilumen.com/index.phpIt's "K155ID1"
What I'm saying, price 65$ for power supply too high,
you can find chipper, or if money not a question, just touch them