I can't find anybody with a couple hundred miles of me with that 7.5R dieset.
I think I will just order that dieset and we'll have it for future use.
I figure it will be about $200 with shipping to get those parts here. For another $200 I can own the dieset.