Machining is a lesson in diminishing returns... Why not replace them? Rotors are $200.00 all-in for this car. Spend the $80.00 to machine them and get maybe another 3K-4K miles before they warp again. It's your money and your choice, but machining is never an option for me.