Your tempering introduction could have lasted overnight and into the next day. Grass shrimp do not consume large amounts of DO per individual compared to fish.
aka Pond Doctor & Dr. Perca Read Pond Boss Magazine - America's Journal of Pond Management