The Trop is not a major-league facility; it has nice air-conditioning.