Mine is a Gates belt, made in EU. It's a Gates Horizon belt. Packaging looked dodgy and not like the micro V belts they sell locally here. But it's very good, has a grippy glossy back and a lot of late model BMWs use the same design Gates belts.
7PK1995 should be good man. Take them both home, fit the smaller one and see if the lines align
only one way to find out. And you cant tell a belt has been fitted as long as you work with clean hands so no one will find out haha