I see the “spinning” view in browser, but I don’t see an option to download the STLs.

Edit: It appears the usdz AR file can be converted to obj/stl files.

Each of the models is available in fbx, usdz and glb if you dig a bit in the page. It's in a json file named masters