Quoting Ken Layton
"According to my Wells-Gardner CRT part number manual, the 19k7200 series uses these tubes:
Samsung A48KRD89X (Wells # 088X0403-506)
Rauland A48ACB24X (Wells # 088X0290-506) -
THIS IS WHAT THE TUBE I HAVE IS
Orion A48JLL40X46 (Wells # 088X0413-506)"
The Orion tube shows up for sale..
http://vdc.mybisi.com/product/a48jll40x46