They are calling it a Cherry Red Gobson ES-345
I've always thought it was the ES-335 because of the Bigby tremolo. Maybe they modified the 345 with an add on...or maybe some just came with it but they were rare enough that I've never seen one 50 years later.
Or maybe thats why they can't find it, because they got the model wrong?