Tucker Smith realmente cantou Cool no filme West Side Story?

Embora Tucker Smith tenha interpretado Baby John no filme, sua voz para cantar foi dublada por Jimmy Bryant.