e23 us belt vs e31 us belt, are they the exact same?