What is the abbreviation for Vail resorts inc?

Looking for the shorthand of Vail resorts inc or how to abbreviate it? We have 2 shorthands for Vail resorts inc.