I've never noticed a sound from the pump during start up, like my Volvo cars do, some yards after each cold morning start. You can test the functioning by pulling an emergency stop when safe to do so, or you can run a scan for ABS pump fault codes using Motoscan.