RE: How expensive are MVars ?