I'm picking up a spare belt tomorrow so my shopping list is one of:
Belt Gates 7400XL 9.5/10mm x 1030mm
Goodyear 15406 (11AV1015)
Dayco topdog 15400
The belt likely depends on the alternator. I have a Balmar 70 amp.
I found that one way to maximize the length of the belt life (in addition to belt tension) is to start the engine without the house batteries connected, let it warm up a bit, connect the house batteries, then ramp up the engine speed.