There are two Eclipse 500's at Schiphol airport. They've been sitting there for years, apparently because their CofA was revoked when the certificate holder went bankrupt.
it's going to cost serious money to bring them back to airworthy condition, assuming a new type certificate holder eventually pops up in the first place.
They are N-registered, no? If so, and FWIW, I don't believe a linkage between manufacturer status and the FAA Airworthiness Certificate can legally exist. Anyway, here the Type Certificate Data Sheet, updated in December 2013.
TCDS A00002AC Rev 12 Eclipse Aerospace, Inc.