Just for the record, one can pay via credit card with PayPal without having a PayPal account.