Are these red flippers from the factory?

I’ve seen the white flippers with raised blue lettering on another Gator and think that they are factory? Maybe there were two different styles from factory?
CFDDAAD2-D77C-436A-A4B5-E64FFF1095EE (resized).jpeg

Here's two Gators on you tube that show flippers.

bump

Thanks for the responses....I am picking up a nice condition Gator this morning.
Does anyone have the game set up and playing in their collection? If so, what do you like or dislike about it?

Judging by the flyer picture the game looks like they had the Red flippers from the factory. It looks like the flippers on the game I am going to pick up are in nice condition...like the rest of the game. Thanks for the info.

Mine were also red...
I think toyotaboy had one of these early on in his pinball fun for a chunk of time. He may have some insight on good/bad things he thought about the game.
Can't wait to see posted pics after you complete your purchase!</blockquote

Here a quick shot after I set the game. It's going to clean up real nice!

DSCN1909 (resized).JPG

DSCN1909 (resized).JPG

DSCN1917 (resized).JPG

Playfield cleaned up real nice....

Here's the other side of the cabinet. It has the factory original keys too.

DSCN1913 (resized).JPG