I hate short sleeve dress shirts. My personal opinion.
Frankly as long as the jacket is kept on, I guess it wouldn't much matter much--it's certainly better than short sleeves without a jacket. But if the jacket will be taken off, wear long sleeves. Short sleeves on a "dress shirt" is certainly not formal. The dining rooms are air conditioned, so weather shouldn't be a factor.
Anne