At the end of the transaction, in the Device Name field, Press F4
This will list all available credit card machines at the branch. The user can now select which credit card machine they want as the default.