Krypton source gas teed directly into ion source. A Nupro valve and tee also added for 17O line. At present, the 17O gas bottle valve is closed. The Kr bottle has an integrated leak, so this bottle is opened to the system now. Pumping in progress. Pressure is already <3e-7 Torr. I will restart the source shortly.