[ANDY M]

JMO, but I think the Customs people should be alerted, unless it's already too late. There are many private collectors overseas that would pay big $$ for cars like these, and nobody would ever know or see the cars for years.
Much easier to get them out of the country with valid titles before they were reported stolen, and the theft would not likly make the news.
Larry will be deeply missed, may his memory always be a blessing.