Thanks for the links. They don't ship outside the u.s. But I should be able to find one at my local dealer now I know the reference.
As for the second option, that's great! I hadn't thought about nodding the case itself. It makes sense though. Then any number of third party
straps would fit.
I'm going to see if my dremel can do it.