I'm with 180 on this one, probably nothing wrong with the module.
"pressure bleeding" to me means the old fashioned way, someone pumping the pedal and someone twisting the bleeder valves.
Yes, I am aware that there are pressure bleeding rigs that pressurize the master cylinder reservoir, but this is not often used.
The most common methods these days are vacuum bleeding or the new speed-bleeder caliper valves.
I have used both these methods with equal results.

We will both get to say "I told you so" when you are out $1800 and still have no brakes.
The most likely scenario is that the stealer will present you with the $1800 bill, and the brakes will work fine, BUT they did NOT replace the ABS module.
My advise is to get an engraving tool and engrave your name on the present module before you take it to the dealer.