Did anyone who inspected the car in Monterey look at any paperwork the seller might have turned into RM ?

If the car had come from Europe in the last 10 years. One would certainly think the owner would have some importation paperwork. This would very likely give some telling details of the where it came from (or if the real car is even in the US).