First, are you sure that it's a tenderloin? The tenderloins I can get around here are never bigger than 2.5 - 3 lbs.
Second, I agree with the consensus above. Cook it to 135 - 140, rest, slice and enjoy!
"Ron Rico, Boss. You can call me Captain Ron..."
The Naked Fatty!
FEC-100/BWS Party/Memphis Pro SS/PBC/LBGE X 2/SBGE/Mini BGE/Nomad Pellet-matic/Good-One Model 42/WSM X 2/Cookshack Smokette 008/Weber Performer/Saber Cast 500/Weber Gasser (RIP)/Weber Kettle X 2/Weber Smokey Joe/WGA/UDS/Coffee Roasting Gasser
Remembering a friend