1988 Big Reds do exist, but they are few and far between. The 350x is very unlikely, they were supposed to have been a few made in 1987 but none of those have turned up yet. I guess anything is possible though. Have him get some pics of the machines, year tag, and VINs.
-Nick
1988 Chevy Silverado 5.9L Cummins : 1986 ATC250R : 2012 Polaris RZR 570 :
98% of Americans say 'OH $#!T!!' before going into a ditch on an icy road. The other 2% are Alaskans, and they say 'Here, hold my beer and watch this!!'