The roughly 15,000-square-foot home would also set a price record for Vail.