How long did the baseball player spend in the library?
Five minutes. It was a short stop.