Even if you found a pantera on their website, it would be the old-school OEM starter as installed in the Pantera.
This is a PMGR upgrade starter that is a direct boltin replacement.
The only issue you may run into is the need for longer studs as the starter base plate is thicker.
you have already resolved the minor wiring changes required
you can use either of those two numbers in their listing to do a search on eBay or Amazon. DB does sell through Amazon, IIRC.
Larry