Fading 9100 displays?

I am getting a price for replacement graphic display tubes (256 X 26) for the 9100's. 5 lot pricing. Should know next week. Let me know if you need one, so we can figure out how many to order. Estimate the price should be under $200US based on replacement cost for tubes for pinball games (around $100US each). John :-#)#