I repaired one recently for a customer and it was 100% original and had red flipper bats like that. I replaced them with the raised white letter style because they look better and that’s all I could find to purchase - the red ones were cracked in multiple places but this was a known fully original game never restores and it had the red.