What Charvel is Phil Collen (Def Leppard) holding here?

[Number Of The Priest]

At 10:14 in the attached video, there's a photo of Phil Collen holding a white Charvel. Anyone have more info about it? I searched Google and Google Images for "phil collen charvel" and found nothing.

[ed]

At fast glance looks like model 3.

[FloydRose4Prez]

I wonder what the value is on one of those first PC Jacksons he used back then.

[pianoguyy]

At fast glance looks like model 3.

assuming it is "original" and not a mutt or cs.
rounded strat-like body. dots. non-toothpaste logo. What else could it be?
2, 3, or 4

but, the other thing to consider - if those images are 'period' correct, would it be an import during the recording process of the album?