How long do i cook a 4-5 lb. beef tenderloin (130 degrees)

I think it is the thickness that determines the time.

I cooked a bacon wrapped pork tenderloin at 140 degrees for 2.5 hours and it was lovely.

Here is a link with pictures

http://www.theblackpeppercorn.com/2014/01/how-to-sous-vide-a-beef-tenderloin/