Our tenderloins don't sit around long enough to get marinated.
They are "tender" loins and don't require long marinating. An hour at most just to flavour.
We just cut them out. Sprinkle a little bit of steak spice on them....or not, and BBQ same day. We cook them whole.