The dynamics model of a robot is important to find the relation between the joint actuator torques and the resulting motion. There are two common methods to do this: The Lagrange formulation, which gives a closed form of the dynamics equations, and the Newton-Euler method, which uses a recursive form. Presented in this paper is a formulation of the Lagrange-Euler (L-E) equations representing the dynamics of the Baxter manipulator. These equations are then verified against torque trajectories recorded from the Baxter robot. Experimental studies show that torques generated using the L-E method closely match recorded actuator torques. All of Baxter's kinematic and dynamics parameters are presented here for easy future reference, and the full symbolic dynamics are made available online for closed loop analysis by the community.