Is there a formula to convert times from a higher alt. than sea level to sea level times? I'm running a little over 5K feet and was wondering what I would run at sea level. Thanks