Checking in Paul's Kalman IMU