Thanks for the advice, dude. Cheers! Haven't bought a pork tenderloin in a year or so and honestly can't remember how we cooked it.
A guy told me about doing it that way like 20 years ago and it's worked ever since. Running the oven that hot with air all around the meat basically sears and cooks at the same time.
On a grill, same concept, hot, sear on 3 or 4 sides or however that works out on what is basically a cylinder of meat. Move it off fire to finish a few minutes if need be.
They take well to long liquid-ish or pasty marinades (like overnight) but a quicker dry rub, cooking them that hot, just amounts to burnt seasoning on the outside with little to none of that flavor on the inside.
I'm by no means an authority on it, just saying what I know works. Doesn't mean it's the only way that works.