NavList thread: GPS vs WWV time comparison again