If he has ABS brakes, I would definitely open the bleeders, it's not good to force dirty brake fluid back up to the HCU. Plus it's the perfect time to bleed the brakes.