I recently purchased a 2015 mini s. A previous owner removed the muffler, I assume to make it sound sporty. It's not a sound I care for at this stage in my life. Does any one have a suggestion for a replacement? The distributor is having a hard time finding an OEM replacement.