Stored beam was lost at ~07:22 this morning due to an RF3 trip. The recovery involved a waveguide switch to use a different RF system. Stored beam will be available to Users again on Wednesday at 08:00.