Gas Line Repair in Riverside Archive