That looks like it. I'll try searching US parts lists for the numbers