'$25M for Traveling Wave Tube Repairs