I got an aftermarket, but bigger than the one I had before.
Still cheap, $100
I think I'm currently the world record holder in changing the cat out! Baught it at a shop 3 miles from home. Got home, removed the old one, cut off the flanges, welded them on the new cat, mounted it, took an emission test in another shop nearby and back to the guy who sold it in less than 1 hour. He paid $20 for the bad one...so $80 in total for the new cat
HC down in the 30 ish!