Hi Jon - i'm Dan that was racing at Hinckley a couple of weeks ago with the PSI equipped CR2 (hoping to make it this Sat to is the weather is decent)
I still have the original 4 gear casing that came with my car... was one of the original ones made by a guy here in the UK (I think he's on this forum too) As it was one of the first made it is a bit rough finish-wise, you are more than welcome to borrow it & send it off to a machine shop for copying.... the only problem with it that the previous owner of my car, filed down the casing where the two front screws through the chassis fit.... meaning these screws cannot be fitted causing the gearbox to twist. You could explain this part the your machinist I guess?
I'll bring it with me on Sat if you are going & you can have a look at it