Have you any idea what that would do to their cashflow? Are you seriously suggesting that they stop taking CC orders?
Perhaps, but the damaged caused by such an issue as this could have far wider repercussions. Besides, PayPal still takes credit card details even if you are not a member of PayPal. And with a PayPal CRC Branded page customers would feel less uncomfortable using the gateway.
Personally, within an instant of this of this issue arising I would have taken the online payment option offline. Paypal and Tel only, then routed the server for the listener and get it fixed asap rather than putting more customers at risk.
But hey, I suppose they can just keep letting it happen in the meantime and just let the credit card companies take the hit and clean up the mess, yes?