I had a gentleman in the business have a look at the parts with the coating in question. As you two have said, it was indeed a teflon Hardcoat. I had suggested this to the customer originally, but I was assured that it was something other than hardcoat. My knowledge of coatings is limited so...
A customer of ours had an aluminum plate hardcoated by a (now unknown) vendor a few years back, and said that it has held up better than anything else they've ever seen. This plate is used in the transfer of a product onto a stainless steel shelf. It tends to get beat around and scratched...