Typical Cruising Times