Is it a cummins isx? i know those arent cheap theyre made by wabco and here in the us they run around $700- $900.