It may have been a U2 which was the set neck late 80's model and which was followed by the US-1 in the early 90's, I think. Looking around boards someone said that Wayne Charvel was working for Gibson at the time of the U2. One thing I remember is that it appeared to have some kind of pre amp fitted, a little red LED amongst the control knobs. One of the best gigs I have ever been to, incidentally. Edit, just looked up the WRC, you could very well have won a cigar.