From the way it sounds TDC is trying to get you your inter cooler, but mini has not made it yet.