Resetting a manhole cover on a busy highway in the rain