I strongly reccomend you download beamboy. The beam he is going to quote you (which is probabally a W16 x 57) is WAAAY overkill and will cost $$$$. The last thing I would do is to take the advice of the person selling the material, it's just more money in his pocket if he can convince you to go twice as big as you need.
On a side note, about the technical info, I got pleanty comming as I finally got beam boy working, so bear with me.
Some background, Beams are rated for load in two ways,
1. Bending stress in KSI. Most beams are A36, which is 36ksi steel, and you are allowed a bending stress of no more than 24ksi, which has a good saftey factor built right in.
2. Deflection. L/360, which is the length in inches/360. In your case, you are allowed a deflection of up to 1.13"
I plugged some #'s into beamboy and this is what I came up with
Beam............Deflection...........Bending stress..........Max capacity
W12 x 30..........(.991)...................13.2ksi....................5700lbs
W14 x 26...........(.963)..................14.5ksi....................5800lbs
W16 x 26..........(.783)...................13.3ksi....................7200lbs
S12 x 31.8.........(1.08)...................14ksi......................5200lbs
I used a 5000 lbs point load @ 17ft (exact center). Using two beams that would give you a 10000lb bridge. Given that steel is priced by weight, I'd probabally opt for the w16 x 26, as it will be one of the cheaper ones listed and the strongest.
The beam he is quoting you will look like this
W16 x 57.........(.311)..............5.5ksi.......................18,200lbs
His beam would give you a 18 ton bridge.
And if you really want a 13 ton saftey factor, consider the W18 x 50 or the W21 x 44. Both would be a little stronger but save some $$$ due to less weight.