Tube swap definitely! I bet most 28" TV tubes would work. Philips and Videocolor are the two most common tubes in TVs here. Polo 2 is around 1.40mH horizontal I think, that's a normal TV tube yoke. Intervideo is likely the same.
What size tubes are in those namco machines...25" or 28"?