Field RotationalVelocity.Magnitude { get; }