Paperwork included for this and the thorough cleaning they did as part of the repair. Now works faultlessly.
eBay