Musk aides can add code to the Payment Automation Manager and Secure Payment System at the Treasury Dept