I see a lot of emails from "donotreply", but never pay any attention whether it's a user name or domain name. I have no doubt that many of them are domain names.
To make it double redundant, the reply-to address should be donotreply@donotreply.company.com.
To make it double redundant, the reply-to address should be donotreply@donotreply.company.com.