My thought exactly. That sounds like Baldwin’s heating time for tender meat from frozen, not 41F. Big difference. That’s pretty aggressive cooking time and temperature for beef tenderloin.
Five to five and a half hours ought to do the job with completely thawed meat. Even with just a brief post-sear, that’s going to definitely be a very expensive medium done roast.