What shocking loss? The GOP never should have lost the 25th District seat in the first place - the GOP had held it for 20 years. Now they should be able to hold it for the next 20 years plus.
The shocking loss was to the Democrats, with their ballot harvesting.