Anyone done one?

I see some US guys get a $20-30 one. (don't know where from)

Only one I see is $300+ (.034)

Anybody just got the local muffler shop to do one?

I had a quick squiz and the pipe seems to be a squashed round tube near the diff. Sort of...