If you are able to install 072.200.165.14201 then the printer is not a 7855, it is a 7970.
If it was previously running 072.010.134.32804 it still wasn't a 7855 it was a 7830/7835.
If a file name change is not an option even to verify if that is the cause of the issue there is not much troubleshooting left, call 2nd level and request an Analyst escalation if you want somebody onsite (Billable call if the issue is in settings and not an inherant firmware issue) or get them the Config sheets and network logs from the device soon after a failure to have the Engineers look into it.